diff options
| author | Mike McQuaid | 2016-11-09 12:44:13 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2016-11-09 12:44:13 +0000 |
| commit | 007002ad6fec88cdcd663e2c126c3192b8b0b355 (patch) | |
| tree | d2564d5ceca1cba43210a9bf02ed469db8d1c218 /Library/Homebrew/dev-cmd/pull.rb | |
| parent | c091882246fb794e5a70f13e5e1937075bfc65df (diff) | |
| download | brew-007002ad6fec88cdcd663e2c126c3192b8b0b355.tar.bz2 | |
brew.rb: don't exit when failing to set devcmdrun.
It's not necessary to make this a hard failure so don't (and this makes
it more consistent with `brew.sh`).
Fixes #1462.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions