diff options
| author | Jason Nochlin <hundredwatt@users.noreply.github.com> | 2024-01-10 07:52:36 -0700 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-10 16:01:07 +0100 |
| commit | e45c338f0ed5949651caa115762a82fe61514957 (patch) | |
| tree | 4b3558f8e68a886a5a3c945a198f4373183d5ca1 /evaluate2.sh | |
| parent | a8ebaf1a59a7cd45a785e66d6b61c8519368ba63 (diff) | |
more robust error message
Diffstat (limited to 'evaluate2.sh')
| -rwxr-xr-x | evaluate2.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evaluate2.sh b/evaluate2.sh index b862bd5..ab91817 100755 --- a/evaluate2.sh +++ b/evaluate2.sh @@ -177,7 +177,7 @@ echo -e "${BOLD_WHITE}Summary${RESET}" for fork in "$@"; do # skip reporting results for failed forks if [[ " ${failed[@]} " =~ " ${fork} " ]]; then - echo -e " ${RED}$fork${RESET}: output did not match" + echo -e " ${RED}$fork${RESET}: command failed or output did not match" continue fi |