1 files changed, 17 insertions, 0 deletions
diff --git a/build-0.3/run-if-arg b/build-0.3/run-if-arg
new file mode 100755
index 0000000..1076b46
--- /dev/null
+++ b/build-0.3/run-if-arg
@@ -0,0 +1,17 @@
+#! /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