diff options
| -rwxr-xr-x | tools/test_mutants.sh.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/test_mutants.sh.lua b/tools/test_mutants.sh.lua index a0a55a8e..6e2423db 100755 --- a/tools/test_mutants.sh.lua +++ b/tools/test_mutants.sh.lua @@ -33,7 +33,7 @@ if [[ "$SPEC_FILE" == "" || ! -f "$SPEC_FILE" ]]; then exit 1; fi -if ! busted "$SPEC_FILE"; then +if ! busted --helper=loader "$SPEC_FILE"; then echo "EE: Tests fail on original source. Fix it"\!; exit 1; fi |