run
changeset 26 cee1b738fa67
parent 25 ee88a1d1f2c6
child 33 34d32a2d3d84
--- a/run	Tue Aug 25 15:55:16 2015 +0200
+++ b/run	Wed Sep 23 22:31:10 2015 +0200
@@ -2,7 +2,7 @@
 
 export LC_ALL=C
 
-if test "$@"; then
+if test -n "$1"; then
     platforms="$1"
     shift
 else