chiark
/
gitweb
/
~ian
/
secnet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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
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
done
echo ok