diff options
Diffstat (limited to 'testsuite/runtest')
-rwxr-xr-x | testsuite/runtest | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/runtest b/testsuite/runtest new file mode 100755 index 0000000..0134a5d --- /dev/null +++ b/testsuite/runtest @@ -0,0 +1,18 @@ +#! /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 |