memory-model/scripts/runlitmushist.sh

9 # sh runlitmushist.sh
12 # This script uses environment variables produced by parseargs.sh.
18 . scripts/hwfnseg.sh
20 T=/tmp/runlitmushist.sh.$$
35 	echo T=$T >> $T/$i.sh
36 	cat << '___EOF___' >> $T/$i.sh
38 		if scripts/runlitmus.sh $1
67 }' | sh | sort -k1n |
70 	print "if test -z " dq hwfnseg dq " || scripts/simpletest.sh " dq $2 dq
72 	print "\techo runtest " dq $2 dq " " hwfnseg " >> " t "/" NR % ncpu ".sh";
78 		print "sh " t "/" i ".sh > " t "/" i ".sh.out 2>&1 &";
79 		close(t "/" i ".sh");
82 }' | sh
83 cat $T/*.sh.out
84 if grep -q '!!!' $T/*.sh.out
87 	grep '!!!' $T/*.sh.out 1>&2
88 	nfail="`grep '!!!' $T/*.sh.out | wc -l`"