#! /bin/sh # # usage: runtest [...] # without args, runs all *.test files in the current directory # MAKE=make TESTFILES=$* if [ "x$TESTFILES" = "x" ]; then TESTFILES='*.test'; fi if [ ! -d work ]; then mkdir work; fi cp -pPR lib work/ opp_test gen $OPT -v $TESTFILES || exit 1 echo (cd work; opp_makemake -f --deep -lINET -L../../../../src -P . --no-deep-includes -I../../../../src; $MAKE) || exit 1 echo PATH=$PATH:../../../src opp_test run -a "--check-signals=false -lINET " $OPT -v $TESTFILES || exit 1 echo echo Results can be found in ./work