#! /bin/sh

: ${MAKE=make}
: ${srcdir=.}
: ${SED="../sed/sed"}

makefile="$srcdir/Makefile.tests"
test=`echo "$@"| sed 's,.*/,,'`

# As a convenience, suppress the output of make if the test passes
if $MAKE SED="$SED" srcdir="$srcdir" -f "$makefile" $test > tmp.test 2>&1; then
  rm -f tmp.test
else
  exitcode=$?
  cat tmp.test
  rm -f tmp.test
  exit $exitcode
fi