On Fri, Jul 17, 2015 at 2:31 PM, Jim Meyering <j...@meyering.net> wrote:
> On Mon, Jul 13, 2015 at 4:35 PM, Paul Eggert <egg...@cs.ucla.edu> wrote:
>> Aron Griffis wrote:
>>>
>>> This generates output:
>>>
>>> $ grep -rl --exclude-dir=usr LINUX /usr/include
>>>
>>> and this doesn't:
>>>
>>> $ grep -rl --exclude-dir='usr*' LINUX /usr/include
>>>
>>> This feels like a bug.
>>
>> Thanks for reporting that.  I installed the attached patch.
>
> I've pushed this small follow-up patch to fix a false-positive test failure:

Grr... pushed the wrong patch. Fix-up here:
http://git.savannah.gnu.org/cgit/grep.git/commit/?id=3f50c6f0b09dd5be1b3d8413eb0be606fe48599d



Reply via email to