From 38530af0281a6bb3d5e8c6c73e324ab785073eb4 Mon Sep 17 00:00:00 2001 From: William S Fulton Date: Sat, 20 Feb 2021 10:49:01 +0000 Subject: [PATCH] brew-install now handles more than one argument --- Tools/brew-install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/brew-install b/Tools/brew-install index 408ae13bb..39fe22bc2 100755 --- a/Tools/brew-install +++ b/Tools/brew-install @@ -6,7 +6,7 @@ seconds=0 minutes=0 -brew install $1 & +brew install "$@" & while true; do ps -p$! 2>& 1>/dev/null if [ $? = 0 ]; then