12 lines
277 B
Bash
Executable file
12 lines
277 B
Bash
Executable file
#!/bin/sh
|
|
|
|
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"
|