X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=secnet.git;a=blobdiff_plain;f=parallel-test.sh;h=ccd6ab3e171fbe0c29ed8dd4e93d57b77d874fd4;hp=4967f969c9ea427865e6874060b80949ae4931cb;hb=HEAD;hpb=05c5a203b95e9499b7e3e726c700479cf24f70fe

diff --git a/parallel-test.sh b/parallel-test.sh
index 4967f96..ccd6ab3 100755
--- 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