From 768e565de8bea337bcd13c5141424471635dfc7a Mon Sep 17 00:00:00 2001 From: Fabian Schiebel <52407375+fabianbs96@users.noreply.github.com> Date: Wed, 19 Apr 2023 20:04:07 +0200 Subject: [PATCH] Update bootstrap.h to work properly when boost is not already installed --- bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.sh b/bootstrap.sh index c49d0a728d..2b5bfe397f 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -84,7 +84,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 \nBOOST_LIB_VERSION' | gcc -s -x c++ -E - 2>/dev/null| grep "^[^#;]" | tr -d '\"') + (BOOST_VERSION=$(echo -e '#include \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