diff --git a/unit_tests/run.sh b/unit_tests/run.sh index 79e09c54..1510a3b7 100755 --- a/unit_tests/run.sh +++ b/unit_tests/run.sh @@ -1,5 +1,10 @@ #!/bin/bash +set -o errexit +set -o pipefail +set -o nounset +set -x + LD_LIBRARY_PATH=../src ./check_parser_utils LD_LIBRARY_PATH=../src ./check_parser LD_LIBRARY_PATH=../src ./check_rules