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