| 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 |
| 15 |
| 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 |
| 15 |