Fix error ignored during fplll compilation

fplll · Jun 8, 2023 · 5df6c1f · 5df6c1f
1 parent 281bd42
commit 5df6c1f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -65,15 +65,15 @@ make clean
 make $jobs
 
 retval=$?
-if [$retval -ne 0 ]; then
+if [ $retval -ne 0 ]; then
     echo "Making fplll failed."
     echo "Check the logs above - they'll contain more information."
     exit 2 # 2 is the exit value if building fplll fails as a result of make $jobs.
 fi
 
 make install
 
-if [$retval -ne 0 ]; then
+if [ $retval -ne 0 ]; then
     echo "Make install failed for fplll."
     echo "Check the logs above - they'll contain more information."
     exit 3 # 3 is the exit value if installing fplll failed.