2026-01-26 17:21:34 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
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
|
2026-01-24 16:36:23 +01:00
|
|
|
then (./testsuite || true) && ../tests/functional/run-tests.sh
|
2026-01-23 23:20:32 +01:00
|
|
|
else ../tests/functional/run-tests.sh
|
|
|
|
|
fi
|
|
|
|
|
echo bin path: "$BIN_PATH"
|
|
|
|
|
echo output file: "$OUTPUT_FILE"
|