diff --git a/scripts/run/dev.sh b/scripts/run/dev.sh
index 1eb8269f..1574b7b4 100644
--- a/scripts/run/dev.sh
+++ b/scripts/run/dev.sh
@@ -139,7 +139,11 @@ cmd_verify() {
         # Count pending steps not yet run
         local n_pass=0 n_fail=0
         for r in "${step_results[@]}"; do
-            [ "$r" = "PASS" ] && (( n_pass++ )) || (( n_fail++ ))
+            if [ "$r" = "PASS" ]; then
+                n_pass=$(( n_pass + 1 ))
+            else
+                n_fail=$(( n_fail + 1 ))
+            fi
         done
         if [ "$n_fail" -eq 0 ]; then
             echo -e "  ${GREEN}All ${n_pass} checks passed${NC}"