diff --git a/run_tests.sh b/run_tests.sh index 962023c..40e410c 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -33,6 +33,38 @@ if [[ -z $NO_COVERAGE ]]; then GAP="$GAP --cover ${COVDIR-coverage}/$(mktemp XXXXXX).coverage" fi -# TODO: honor TestFile from PackageInfo record, but make sure that it -# is for the package in the current directory -$GAP ${GAP_TESTFILE:-tst/testall.g} +$GAP $GAP_FLAGS <