diff options
| author | Omar Polo <op@omarpolo.com> | 2022-10-31 18:27:33 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2022-10-31 18:27:33 +0000 |
| commit | f25fa4a951951899d171e03274c6854fa318fca5 (patch) | |
| tree | 8551a1b7e130f95e555cd881a1e46799d3af40c3 | |
| parent | 339a27c63e865fc39e9fdd2816321ecd5f9e20be (diff) | |
don't count twice the failing tests on gmid crashes
| -rw-r--r-- | regress/lib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/regress/lib.sh b/regress/lib.sh index 26b79ac..283d985 100644 --- a/regress/lib.sh +++ b/regress/lib.sh @@ -26,6 +26,7 @@ port $port echo "$1 failed" failed="$failed $1" failed_no=$((failed_no + 1)) + return else echo "$1 passed" fi |