2026-01-24 15:46:19 +01:00
|
|
|
if [ "$BIN_PATH" = "" ];
|
|
|
|
|
then export BIN_PATH="$(pwd)/42sh"
|
|
|
|
|
fi
|
|
|
|
|
|
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"
|
