diff options
| -rwxr-xr-x | runtest.sh | 3 | ||||
| -rwxr-xr-x | runtests | 22 |
2 files changed, 25 insertions, 0 deletions
diff --git a/runtest.sh b/runtest.sh new file mode 100755 index 0000000..dbe194b --- /dev/null +++ b/runtest.sh @@ -0,0 +1,3 @@ +#!/bin/sh +cd $1 +nice -n 20 make START=$2 COUNT=$3 check diff --git a/runtests b/runtests new file mode 100755 index 0000000..e4b74df --- /dev/null +++ b/runtests @@ -0,0 +1,22 @@ +#!/bin/sh + +NCPU=2 + +COUNT=4209433 +GROUP=$((COUNT / NCPU)) + +begin=0 +end=$NCPU + +HERE=$(pwd) + +while (( begin < end )); do + dir=/tmp/chess-test$((begin)) + rm -fr $dir + mkdir $dir + rsync -a --delete --exclude='*/' ./ $dir/ + (cd $dir ; ln -s $HERE/doc $HERE/test .) + (cd $dir ; rm -f chess-test) + screen -dX screen $HERE/runtest.sh $dir $((begin * GROUP)) $((GROUP)) + begin=$((begin + 1)) +done |
