From 3c497cc9b5dfc506e900f835b511f6149f4b2c7e Mon Sep 17 00:00:00 2001
From: Einar Rasmussen <erasmussen@polygon.technology>
Date: Tue, 15 Oct 2024 21:15:14 +0200
Subject: [PATCH] change exit code

---
 scripts/prove_stdio.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/prove_stdio.sh b/scripts/prove_stdio.sh
index 98daf1098..5ee39f296 100755
--- a/scripts/prove_stdio.sh
+++ b/scripts/prove_stdio.sh
@@ -52,7 +52,7 @@ fi
 
 if [[ ! -s $INPUT_FILE ]]; then
     echo "Input file $INPUT_FILE does not exist or has length 0."
-    exit 1
+    exit 6
 fi
 
 # Circuit sizes only matter in non test_only mode.