blob: 4983312c02cb85b78d38277c633af3e58e944ef8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#! /bin/sh
: ${MAKE=make}
: ${srcdir=.}
: ${SED="../sed/sed"}
makefile="$srcdir/Makefile.tests"
test=`echo "$@"| sed 's,.*/,,'`
exitcode=0
$MAKE SED="$SED" srcdir="$srcdir" -f "$makefile" $test || exitcode=$?
test -f $test.skip && exitcode=77
rm -f $test.skip
exit $exitcode
|
