diff options
Diffstat (limited to 'subcmds/grep.py')
-rw-r--r-- | subcmds/grep.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/subcmds/grep.py b/subcmds/grep.py index 49feaf6b..9a4a8a36 100644 --- a/subcmds/grep.py +++ b/subcmds/grep.py | |||
@@ -82,8 +82,11 @@ contain a line that matches both expressions: | |||
82 | if value is not None: | 82 | if value is not None: |
83 | pt.append(value) | 83 | pt.append(value) |
84 | 84 | ||
85 | def _CommonOptions(self, p): | ||
86 | """Override common options slightly.""" | ||
87 | super()._CommonOptions(p, opt_v=False) | ||
88 | |||
85 | def _Options(self, p): | 89 | def _Options(self, p): |
86 | super()._Options(p) | ||
87 | g = p.add_option_group('Sources') | 90 | g = p.add_option_group('Sources') |
88 | g.add_option('--cached', | 91 | g.add_option('--cached', |
89 | action='callback', callback=self._carry_option, | 92 | action='callback', callback=self._carry_option, |