42sh/tests/wrap.sh
2026-01-23 23:20:32 +01:00

6 lines
192 B
Bash
Executable file

if [ "$COVERAGE" = "yes" ]; #coverage
then ./testsuite && ../tests/functional/run-tests.sh
else ../tests/functional/run-tests.sh
fi
echo bin path: "$BIN_PATH"
echo output file: "$OUTPUT_FILE"