42sh/tests/wrap.sh

7 lines
192 B
Bash
Raw Normal View History

2026-01-23 23:20:32 +01:00
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"