Update the test jig for #2162's tests, as one of those now only warns.

"oops"
GaloisInc · Dec 20, 2024 · df3b8c2 · df3b8c2
1 parent 2be7724
commit df3b8c2
Showing 1 changed file with 7 additions and 2 deletions.
diff --git 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