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