From 84b82bf77a679912ddb58f5ae97587639ec16358 Mon Sep 17 00:00:00 2001
From: Nicola Ruaro <ruaronicola@gmail.com>
Date: Wed, 27 Sep 2023 10:10:13 -0700
Subject: [PATCH] fix error in setup.sh

---
 setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.sh b/setup.sh
index fc7d349..fa70d7b 100755
--- a/setup.sh
+++ b/setup.sh
@@ -115,7 +115,7 @@ dpkg -l | grep -q gperf || { echo "${bold}${red}gperf is not installed. Please i
 dpkg -l | grep -q libgmp-dev || { echo "${bold}${red}libgmp-dev is not installed. Please install it before proceeding (e.g., sudo apt install libgmp-dev)${normal}"; exit 1; }
 
 # install
-make clean || { echo "${bold}${red}Failed to run make clean ${normal}"; exit 1; }
+# make clean || { echo "${bold}${red}Failed to run make clean ${normal}"; exit 1; }
 autoconf || { echo "${bold}${red}Failed to run autoconf${normal}"; exit 1; }
 ./configure --enable-thread-safety || { echo "${bold}${red}Failed to run ./configure${normal}"; exit 1; }
 make || { echo "${bold}${red}Failed to run make${normal}"; exit 1; }