Makefiles: Use Final.sd.mk to implementing RECHECK_RM

[secnet.git] / parallel-test.sh

diff --git a/parallel-test.sh b/parallel-test.sh
index 4967f969c9ea427865e6874060b80949ae4931cb..ccd6ab3e171fbe0c29ed8dd4e93d57b77d874fd4 100755 (executable)
--- a/parallel-test.sh
+++ b/parallel-test.sh
@@ -16,8 +16,14 @@ for f in d.*; do
     rm $f/secnet
     mv $f/secnet.new $f/secnet
 done
-for x in `seq 1 500`; do
+here=$(git rev-parse HEAD)
+us=${0%/*}
+log=$us/at-$here.log
+>$log
+for x in `seq 1 ${1-500}`; do
     echo $x
-    make -j -f ${0%/*}/parallel-test.make
+    echo >>$log $x
+    make -j -f $us/parallel-test.make >$us/dump/at-$here.log 2>&1
+    echo >>$log "$x ok"
 done
 echo ok