blob: 0134a5daced1c80fdefb5e4337e46b08ac5d2408 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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
|
