10 lines
266 B
Bash
Executable file
10 lines
266 B
Bash
Executable file
if [ "$BIN_PATH" = "" ];
|
|
then export BIN_PATH="$(pwd)/42sh"
|
|
fi
|
|
|
|
if [ "$COVERAGE" = "yes" ]; #coverage
|
|
then (./testsuite || true) && ../tests/functional/run-tests.sh
|
|
else ../tests/functional/run-tests.sh
|
|
fi
|
|
echo bin path: "$BIN_PATH"
|
|
echo output file: "$OUTPUT_FILE"
|