15 lines · bash
1#!/bin/sh2 3set -eu4 5if [ $# != 1 ]; then6 echo "usage: $0 <num-tests>"7 exit 18fi9 10dir=$(dirname $0)11$dir/build.sh $1 &> /dev/null || true12../summarize.sh $1 &> fails-x.txt13cat fails-x.txt14wc -l fails-x.txt15 1#!/bin/sh2 3set -eu4 5if [ $# != 1 ]; then6 echo "usage: $0 <num-tests>"7 exit 18fi9 10dir=$(dirname $0)11$dir/build.sh $1 &> /dev/null || true12../summarize.sh $1 &> fails-x.txt13cat fails-x.txt14wc -l fails-x.txt15