diff options
| author | politza <politza@fh-trier.de> | 2019-01-18 19:40:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-18 19:40:43 +0100 |
| commit | 1056c1c0303ddf2463fa27a73993bdfb4a8b41b7 (patch) | |
| tree | f3e76c7cdaaeb1e4a642e7cf6acf744827623d7b | |
| parent | a4cd69ea1d50b8e74ea515eec95948ad87c6c732 (diff) | |
| parent | 356e8a72ad5b91e7ba8b8ba4727a0f560060652d (diff) | |
Merge pull request #453 from marsam/master
Check whether Homebrew is installed
| -rwxr-xr-x | server/autobuild | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server/autobuild b/server/autobuild index 7a351d7..4a674e9 100755 --- a/server/autobuild +++ b/server/autobuild @@ -356,6 +356,9 @@ os_macos() { if ! which uname >/dev/null 2>&1 || [ "$(uname -s)" != "Darwin" ]; then return 1 fi + if ! which brew >/dev/null 2>&1; then + return 1 + fi PKGCMD=brew PKGARGS=install PACKAGES="pkg-config poppler automake" |