wtf bash

Akuli · Dec 7, 2023 · 5d64cf0 · 5d64cf0
1 parent 3378a9a
commit 5d64cf0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doctest.sh b/doctest.sh
@@ -71,9 +71,9 @@ for file in */*.jou; do
     if diff --text -u --color=always <(generate_expected_output test.jou | tr -d '\r') <( "$jou" test.jou 2>&1 || true | tr -d '\r'); then
         echo "  ok"
     else
-        ((nfail++))
+        ((nfail++)) || true
     fi
-    ((ntotal++))
+    ((ntotal++)) || true
 done
 
 if [ $ntotal == 0 ]; then