Revision 1b57c8e01a682145f576e101c868ba84ea38ec1b authored by ah744 on 06 August 2016, 01:41:28 UTC, committed by ah744 on 06 August 2016, 01:41:28 UTC
1 parent 2eae3de
summarize.sh
#!/bin/sh
set -eu
if [ $# != 1 ]; then
echo "usage: $0 <num-tests>"
exit 1
fi
for i in $(seq 0 $1); do
if (! make test.$i.report &> /dev/null); then
echo "FAIL: $i";
fi;
done
Computing file changes ...
