chiark / gitweb /
Makefiles: Use Final.sd.mk to implementing RECHECK_RM
[secnet.git] / parallel-test.sh
index 6dd304d848545569a0c9336f1b79522e37a76184..ccd6ab3e171fbe0c29ed8dd4e93d57b77d874fd4 100755 (executable)
@@ -20,7 +20,7 @@ here=$(git rev-parse HEAD)
 us=${0%/*}
 log=$us/at-$here.log
 >$log
-for x in `seq 1 500`; do
+for x in `seq 1 ${1-500}`; do
     echo $x
     echo >>$log $x
     make -j -f $us/parallel-test.make >$us/dump/at-$here.log 2>&1