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