• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#!/bin/sh
2
3set -eu
4
5if [ $# != 1 ]; then
6    echo "usage: $0 <num-tests>"
7    exit 1
8fi
9
10for i in $(seq 0 $1); do
11    if (! make test.$i.report &> /dev/null); then
12        echo "FAIL: $i";
13    fi;
14done
15
16