blob: 3efb52bf72278c59df624176f647c953f44f0415 [file] [log] [blame]
Daniel Dunbar6d52ca02009-05-08 00:49:21 +00001#!/bin/sh
2
3set -eu
4
5if [ $# != 1 ]; then
6 echo "usage: $0 <num-tests>"
7 exit 1
8fi
9
Eli Friedmand9d38c42009-05-25 22:07:09 +000010for i in $(seq 0 $1); do
Daniel Dunbar6d52ca02009-05-08 00:49:21 +000011 if (! make test.$i.report &> /dev/null); then
12 echo "FAIL: $i";
13 fi;
14done
15