Merge branch 'development' into development

fabianbs96 · Nov 14, 2023 · 70e3241 · 70e3241
2 parents 3062f3d + 02e832d
commit 70e3241
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -108,7 +108,7 @@ if [ ! -z "${DESIRED_BOOST_DIR}" ]; then
 else
 # New way of installing boost:
 # Check whether we have the required boost packages installed
-    (BOOST_VERSION=$(echo -e '#include <boost/version.hpp>\nBOOST_LIB_VERSION' | gcc -s -x c++ -E - 2>/dev/null| grep "^[^#;]" | tr -d '\"')) || true
+    { BOOST_VERSION=$(echo -e '#include <boost/version.hpp>\nBOOST_LIB_VERSION' | gcc -s -x c++ -E - 2>/dev/null| grep "^[^#;]" | tr -d '\"'); } || true
 
 	if [ -z "$BOOST_VERSION" ] ;then
         if [ -x "$(command -v pacman)" ]; then