diff options
| author | William S Fulton <wsf@fultondesigns.co.uk> | 2021-02-20 10:49:01 +0000 |
|---|---|---|
| committer | William S Fulton <wsf@fultondesigns.co.uk> | 2021-02-20 14:49:52 +0000 |
| commit | 38530af0281a6bb3d5e8c6c73e324ab785073eb4 (patch) | |
| tree | c83a10099c5938e59c33fb3b7a1a8c54fccaa8d3 /Tools | |
| parent | b58e44700a1b41365fe2829879143fd5c9f9e29d (diff) | |
| download | swig-38530af0281a6bb3d5e8c6c73e324ab785073eb4.tar.gz | |
brew-install now handles more than one argument
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/brew-install | 2 |
1 files changed, 1 insertions, 1 deletions
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 |