| Daniel Dunbar | 6d52ca0 | 2009-05-08 00:49:21 +0000 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | |||||
| 3 | set -eu | ||||
| 4 | |||||
| 5 | if [ $# != 1 ]; then | ||||
| 6 | echo "usage: $0 <num-tests>" | ||||
| 7 | exit 1 | ||||
| 8 | fi | ||||
| 9 | |||||
| 10 | dir=$(dirname $0) | ||||
| 11 | $dir/build.sh $1 &> /dev/null || true | ||||
| 12 | ../summarize.sh $1 &> fails-x.txt | ||||
| 13 | cat fails-x.txt | ||||
| 14 | wc -l fails-x.txt | ||||