1#!/bin/sh
2
3PATH=`pwd`:$PATH
4
5for i in ${1+"$@"}; do
6  echo "Checking $i..."
7  env - PATH="$PATH" ctmp="`pwd`/check-tmp" $i.check 2>&1 |cat -v >$i.local
8  ./check-diff $i || ( cat $i.local; echo "$i failed."; exit 1 ) || exit 1
9done
10