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*e5dd7070Spatrickfor i in $(seq 0 $1); do 11*e5dd7070Spatrick if (! make test.$i.report &> /dev/null); then 12*e5dd7070Spatrick echo "FAIL: $i"; 13*e5dd7070Spatrick fi; 14*e5dd7070Spatrickdone 15*e5dd7070Spatrick 16