From 5d64cf0f8dcb50eec49eb41024f523bd5b36ebf1 Mon Sep 17 00:00:00 2001
From: Akuli <akuviljanen17@gmail.com>
Date: Thu, 7 Dec 2023 19:35:43 +0200
Subject: [PATCH] wtf bash

---
 doctest.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doctest.sh b/doctest.sh
index 4035bde9..f34c277c 100755
--- 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