From 7c49afa71656fd90bde3cecfb498780cb65dca5a Mon Sep 17 00:00:00 2001 From: Julian Oes Date: Wed, 15 Jul 2020 11:42:05 +0200 Subject: [PATCH] setup: only install homebrew if not already there --- Tools/setup/macos.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Tools/setup/macos.sh b/Tools/setup/macos.sh index 94c01b5f44..b0afb431f3 100755 --- a/Tools/setup/macos.sh +++ b/Tools/setup/macos.sh @@ -18,8 +18,11 @@ do fi done -# install Homebrew -/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)" +if ! command -v brew &> /dev/null +then + # install Homebrew if not installed yet + /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)" +fi # Install px4-dev formula if [[ $REINSTALL_FORMULAS == "--reinstall" ]]; then