1*7330f729Sjoerg#!/bin/sh 2*7330f729Sjoerg 3*7330f729Sjoergset -eu 4*7330f729Sjoerg 5*7330f729Sjoergif [ $# != 1 ]; then 6*7330f729Sjoerg echo "usage: $0 <num-tests>" 7*7330f729Sjoerg exit 1 8*7330f729Sjoergfi 9*7330f729Sjoerg 10*7330f729Sjoergdir=$(dirname $0) 11*7330f729Sjoerg$dir/build.sh $1 &> /dev/null || true 12*7330f729Sjoerg../summarize.sh $1 &> fails-x.txt 13*7330f729Sjoergcat fails-x.txt 14*7330f729Sjoergwc -l fails-x.txt 15