parallel-test.sh

   1 #!/bin/sh
   2
   3 # This file is part of secnet.
   4 # See LICENCE and this file CREDITS for full list of copyright holders.
   5 # SPDX-License-Identifier: GPL-3.0-or-later
   6 # There is NO WARRANTY.
   7
   8 # usage
   9 #  ../parallel-bisect.sh
  10 #
  11 # There should be subdirectories d.N for N=1..20
  12 # which are build trees of the current secnet.
  13
  14 set -ex
  15 cd d.1
  16 make -j4 clean
  17 make -j4 stest/d-nonnego-oo/ok
  18 cd ..
  19 for f in d.*; do
  20     ln d.1/secnet $f/secnet.new
  21     rm $f/secnet
  22     mv $f/secnet.new $f/secnet
  23 done
  24 here=$(git rev-parse HEAD)
  25 us=${0%/*}
  26 log=$us/at-$here.log
  27 >$log
  28 for x in `seq 1 ${1-500}`; do
  29     echo $x
  30     echo >>$log $x
  31     make -j -f $us/parallel-test.make >$us/dump/at-$here.log 2>&1
  32     echo >>$log "$x ok"
  33 done
  34 echo ok