From 89a44ff0c903299ae8823202fadd43ffd0f94c1d Mon Sep 17 00:00:00 2001 From: Yoni Zohar Date: Wed, 13 Sep 2023 00:02:37 +0300 Subject: [PATCH] fix test --- test/regress/cli/regress0/parser/stdout-diag.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/regress/cli/regress0/parser/stdout-diag.smt2 b/test/regress/cli/regress0/parser/stdout-diag.smt2 index ab409561bfc..06d85d95e40 100644 --- a/test/regress/cli/regress0/parser/stdout-diag.smt2 +++ b/test/regress/cli/regress0/parser/stdout-diag.smt2 @@ -1,5 +1,5 @@ ; Ensure that no `stdout` or `"stdout"` file is created -; SCRUBBER: ls stdout || ls \"stdout\" || echo success +; SCRUBBER: [ -f stdout ] || [ -f \"stdout\" ] || echo success ; EXPECT: success (set-option :global-declarations true) (set-option :diagnostic-output-channel "stdout")