| commit | 9dca07efdc0b8406d876950dfc27d1c90a77f4ca | [log] [tgz] |
|---|---|---|
| author | Michael Wright <michaelwr@google.com> | Mon Jan 18 18:13:03 2016 -0800 |
| committer | Michael Wright <michaelwr@google.com> | Mon Jan 18 18:13:03 2016 -0800 |
| tree | d31be5afeae40a208dec290eb09ef118bccc8d90 | |
| parent | 719dee706252603959b76b4938f42c79aee1396f [diff] |
Only fail on known-bad grep configurations. Rather than exit when any grep configuration is set, only fail on ones we know to be bad. This lets people use benign configuration options such as --color=auto and --directories=skip. Bug: 21260618 Change-Id: I3641c7895df4b43e36a983ea6ad877969cd38bf5