# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1443040270 -7200
# Node ID cee1b738fa671b87788a1c8b36393ba2ead135a1
# Parent  ee88a1d1f2c6e7d6aeb8421817f0fc48029fe42b
Allow for single tests

diff -r ee88a1d1f2c6 -r cee1b738fa67 run
--- 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