blob: 6dba41564bb8f0aa49d45edac3470487ba4bd63b [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
10for i in $(zseq 0 $1); do
11 if (! make test.$i.report &> /dev/null); then
12 echo "FAIL: $i";
13 fi;
14done
15