Commit a7f7fd10c6711984317a21fb866f2f09b28d0d44

Thomas de Grivel 2023-11-05T09:34:33

ic3_test

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/test/ic3_test b/test/ic3_test
index 3d967e5..a1291b3 100755
--- a/test/ic3_test
+++ b/test/ic3_test
@@ -64,7 +64,7 @@ DIFFS="$(for TARGET in $TARGETS; do
     fi
 done)"
 if [ "x$DIFFS" != "x" ]; then
-    less $DIFFS
+    less $DIFFS || cat $DIFFS
 fi
 echo
 echo -n "Total $TEST_COUNT tests. "