diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-02 21:36:46 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-03-02 21:36:46 +0100 |
| commit | 5d208cbe416ed38693cd33643731fd001135a582 (patch) | |
| tree | 78aca6120dd381de25cf798fb614033902ba245f /mk | |
| parent | f9375778aedf365436de8200a97c0c292df65ea3 (diff) | |
mk/run_test.sh: Add missing backslash
Diffstat (limited to 'mk')
| -rwxr-xr-x | mk/run_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/run_test.sh b/mk/run_test.sh index b876859f8..7e95df2ac 100755 --- a/mk/run_test.sh +++ b/mk/run_test.sh @@ -28,7 +28,7 @@ run_test "$1" # See https://github.com/NixOS/nix/issues/3605 for more info if [[ $status -ne 0 && $status -ne 99 && \ "$(uname)" == "Darwin" && \ - "$log" =~ "unexpected EOF reading a line" + "$log" =~ "unexpected EOF reading a line" \ ]]; then echo "$post_run_msg [${yellow}FAIL$normal] (possibly flaky, so will be retried)" echo "$log" | sed 's/^/ /' |