On Mon, Jul 13, 2015 at 4:35 PM, Paul Eggert 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: