This commit is contained in:
2023-10-18 08:54:40 +02:00
parent 9feb1a5ac7
commit 1c0f6cb5d5
2 changed files with 2 additions and 2 deletions

View File

@@ -35,7 +35,7 @@ HOMEBREW_LIBS="--with-gmp=/opt/homebrew --with-mpc=/opt/homebrew --with-mpfr=/op
ADDONS="" ADDONS=""
if [ ! -z "$USE_BREW_LIBS" ]; then if [ ! -z ${USE_BREW_LIBS+x} ]; then
ADDONS="$HOMEBREW_LIBS $ADDONS" ADDONS="$HOMEBREW_LIBS $ADDONS"
fi fi

View File

@@ -35,7 +35,7 @@ HOMEBREW_LIBS="--with-gmp=/opt/homebrew --with-mpc=/opt/homebrew --with-mpfr=/op
ADDONS="" ADDONS=""
if [ ! -z "$USE_BREW_LIBS" ]; then if [ ! -z ${USE_BREW_LIBS+x} ]; then
ADDONS="$HOMEBREW_LIBS $ADDONS" ADDONS="$HOMEBREW_LIBS $ADDONS"
fi fi