diff options
| author | Mike McQuaid | 2016-06-12 18:23:50 +0200 |
|---|---|---|
| committer | Mike McQuaid | 2016-06-12 18:28:08 +0200 |
| commit | e1f0dec41e17edddc351e2ccd226077aa8f83bb0 (patch) | |
| tree | 6b957a14d6a20ab42134588fd107ad2ce59fcc55 | |
| parent | 3f7fffe17d04de0aefc9c3a405cea54687834dda (diff) | |
| download | brew-e1f0dec41e17edddc351e2ccd226077aa8f83bb0.tar.bz2 | |
update.sh: developers always run update-report.
As they may use e.g. `git pull` which may result in them having formulae
that aren't migrated (and they mind less about the slight slowdown).
| -rw-r--r-- | Library/Homebrew/cmd/update.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Library/Homebrew/cmd/update.sh b/Library/Homebrew/cmd/update.sh index 80f49b64d..a7783aba2 100644 --- a/Library/Homebrew/cmd/update.sh +++ b/Library/Homebrew/cmd/update.sh @@ -384,7 +384,9 @@ EOS chdir "$HOMEBREW_REPOSITORY" - if [[ -n "$HOMEBREW_UPDATED" || -n "$HOMEBREW_UPDATE_FAILED" ]] + if [[ -n "$HOMEBREW_UPDATED" || + -n "$HOMEBREW_UPDATE_FAILED" || + -n "$HOMEBREW_DEVELOPER" ]] then brew update-report "$@" return $? |