10 lines
256 B
Bash
Executable file
10 lines
256 B
Bash
Executable file
if [ "$BIN_PATH" = "" ];
|
|
then export BIN_PATH="$(pwd)/42sh"
|
|
fi
|
|
|
|
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"
|