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")