1 files changed, 0 insertions, 17 deletions
diff --git a/build-0.3/run-if-arg b/build-0.3/run-if-arg
deleted file mode 100755
index 1076b46..0000000
--- a/build-0.3/run-if-arg
+++ /dev/null
@@ -1,17 +0,0 @@
-#! /usr/bin/env bash
-
-# file      : build/run-if-arg
-# copyright : Copyright (c) 2004-2012 Code Synthesis Tools CC
-# license   : GNU GPL v2; see accompanying LICENSE file
-
-# Run command if there are any non-empty arguments.
-#
-# $1 command to execute
-# $2 argument to test
-
-cmd=$1
-shift
-
-if [ "$*" ]; then
-  exec $cmd $*
-fi