From df3b8c244b5c9a6650362944977e36be463cec98 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Thu, 19 Dec 2024 20:37:23 -0500
Subject: [PATCH] Update the test jig for #2162's tests, as one of those now
 only warns.

"oops"
---
 intTests/test2162/test.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/intTests/test2162/test.sh b/intTests/test2162/test.sh
index ece403133..8ab383363 100644
--- a/intTests/test2162/test.sh
+++ b/intTests/test2162/test.sh
@@ -18,12 +18,17 @@ R3=$?
 EX=0
 
 # t1 should succeed; t2 and t3 should fail
+# (until #2167 gets done; until then t2 succeeds with a warning)
 if [ $R1 != 0 ]; then
     echo "*** test1.saw failed (exit $R1) ***"
     EX=1
 fi
-if [ $R2 == 0 ]; then
-    echo "*** test2.saw did not fail (exit $R2) ***"
+#if [ $R2 == 0 ]; then
+#    echo "*** test2.saw did not fail (exit $R2) ***"
+#    EX=1
+#fi
+if [ $R2 != 0 ]; then
+    echo "*** test2.saw failed (exit $R2) ***"
     EX=1
 fi
 if [ $R3 == 0 ]; then