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