1 #!/bin/sh 2 3 set -eu 4 5 if [ $# != 1 ]; then 6 echo "usage: $0 <num-tests>" 7 exit 1 8 fi 9 10 dir=$(dirname $0) 11 $dir/build.sh $1 &> /dev/null || true 12 ../summarize.sh $1 &> fails-x.txt 13 cat fails-x.txt 14 wc -l fails-x.txt 15
