1 #!/bin/sh 2 3 #set -x 4 5 cd "$(dirname "$0")" 6 7 echo subdirs: 8 /bin/sh samples/runall.sh 9 10 echo tests: 11 for t in *.err* *.in* 12 do 13 echo `basename $t` 14 /bin/sh runone.sh $t 15 done 16
Indexes created Sat Feb 28 05:31:39 UTC 2026