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"