chiark / gitweb /
changelog: work on documentation of changes since ea31544cc33a
[secnet.git] / parallel-test.sh
1 #!/bin/sh
2
3 # usage
4 #  ../parallel-bisect.sh
5 #
6 # There should be subdirectories d.N for N=1..20
7 # which are build trees of the current secnet.
8
9 set -ex
10 cd d.1
11 make -j4 clean
12 make -j4 stest/d-nonnego-oo/ok
13 cd ..
14 for f in d.*; do
15     ln d.1/secnet $f/secnet.new
16     rm $f/secnet
17     mv $f/secnet.new $f/secnet
18 done
19 here=$(git rev-parse HEAD)
20 us=${0%/*}
21 log=$us/at-$here.log
22 >$log
23 for x in `seq 1 ${1-500}`; do
24     echo $x
25     echo >>$log $x
26     make -j -f $us/parallel-test.make >$us/dump/at-$here.log 2>&1
27     echo >>$log "$x ok"
28 done
29 echo ok