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).
This commit is contained in:
parent
3f7fffe17d
commit
e1f0dec41e
@ -384,7 +384,9 @@ EOS
|
|||||||
|
|
||||||
chdir "$HOMEBREW_REPOSITORY"
|
chdir "$HOMEBREW_REPOSITORY"
|
||||||
|
|
||||||
if [[ -n "$HOMEBREW_UPDATED" || -n "$HOMEBREW_UPDATE_FAILED" ]]
|
if [[ -n "$HOMEBREW_UPDATED" ||
|
||||||
|
-n "$HOMEBREW_UPDATE_FAILED" ||
|
||||||
|
-n "$HOMEBREW_DEVELOPER" ]]
|
||||||
then
|
then
|
||||||
brew update-report "$@"
|
brew update-report "$@"
|
||||||
return $?
|
return $?
|
||||||
|
Loading…
x
Reference in New Issue
Block a user