diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh index 4db68190c..c6660a7f6 100755 --- a/scripts/run_tests.sh +++ b/scripts/run_tests.sh @@ -10,7 +10,7 @@ run() { if [[ $2 = '--summary' ]]; then ## really simple results summary by filtering plenary busted output - run tests/$1 2> /dev/null | grep -E '^\S*(Success|Fail(ed)?|Errors?)\s*:' + run tests/$1 2> /dev/null | grep -E '^\S*(Testing|Success|Failed|Errors)\s*:' else run tests/$1 fi |