Skip to content

Commit

Permalink
fix error in setup.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
ruaronicola committed Sep 27, 2023
1 parent de878a8 commit 84b82bf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion setup.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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; }
Expand Down

0 comments on commit 84b82bf

Please sign in to comment.