# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1440510916 -7200
# Node ID ee88a1d1f2c6e7d6aeb8421817f0fc48029fe42b
# Parent  ce7d3cef35b70e6019733bd68240c6d388e962b0
Fix run w/o args

diff -r ce7d3cef35b7 -r ee88a1d1f2c6 run
--- a/run	Tue Aug 25 15:55:09 2015 +0200
+++ b/run	Tue Aug 25 15:55:16 2015 +0200
@@ -2,7 +2,12 @@
 
 export LC_ALL=C
 
-platforms=${1-$(find platforms -mindepth 1 -maxdepth 1 -type d)}
+if test "$@"; then
+    platforms="$1"
+    shift
+else
+    platforms=$(find platforms -mindepth 1 -maxdepth 1 -type d)
+fi
 
 for platform in $platforms; do
     system=$(basename $platform)