From 6caa6ea5e36cdd565704bce00bed31860ae816ad Mon Sep 17 00:00:00 2001
From: jfldde <168934971+jfldde@users.noreply.github.com>
Date: Tue, 10 Sep 2024 18:05:45 +0200
Subject: [PATCH] Don't silence build output

---
 resources/scripts/cycle-diff.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/resources/scripts/cycle-diff.sh b/resources/scripts/cycle-diff.sh
index b00ebd4a9..0295b675d 100755
--- a/resources/scripts/cycle-diff.sh
+++ b/resources/scripts/cycle-diff.sh
@@ -50,8 +50,7 @@ run_test_and_extract() {
     local command="cargo test $TEST_NAME -p citrea -- --nocapture"
     local output_file="output.log"
 
-    # Aggressively silence build output
-    script -q /dev/null make build > /dev/null 2>&1
+    make build
     $command > "$output_file" 2>&1
 
     local prover_output_file