From 8183cb94ce64bba4f5899dd86c4473e25c2fc153 Mon Sep 17 00:00:00 2001
From: "Ben L. Titzer" <ben.titzer@gmail.com>
Date: Thu, 29 Aug 2024 16:36:32 -0400
Subject: [PATCH] [test] test/monitors/test.sh works without progress

---
 test/monitors/test.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/monitors/test.sh b/test/monitors/test.sh
index 7aeaec78..c2e7fb92 100755
--- a/test/monitors/test.sh
+++ b/test/monitors/test.sh
@@ -86,6 +86,10 @@ function run_tests {
     done
 }
 
+if [ "$PROGRESS_PIPE" != "1" ]; then
+    RAW=1
+fi
+
 if [ "$RAW" = 0 ]; then
     run_tests $TESTS | $PROGRESS
 else