1 #! /bin/sh 2 3 : ${MAKE=make} 4 : ${srcdir=.} 5 : ${SED="../sed/sed"} 6 7 makefile="$srcdir/Makefile.tests" 8 test=`echo "$@"| sed 's,.*/,,'` 9 10 # As a convenience, suppress the output of make if the test passes 11 if $MAKE SED="$SED" srcdir="$srcdir" -f "$makefile" $test > $test.test 2>&1; then 12 exitcode=0 13 rm -f $test.test 14 else 15 exitcode=$? 16 fi 17 if test -f $test.skip; then 18 exitcode=77 19 else 20 test -f $test.test && cat $test.test 21 fi 22 rm -f $test.test $test.skip 23 exit $exitcode 24
