[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#17427: grep -v -l and -v -L fail to early terminate

From: Paul Eggert
Subject: bug#17427: grep -v -l and -v -L fail to early terminate
Date: Thu, 08 May 2014 16:03:11 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0

Thanks for the patch. I tweaked its commit message (see first attachment). While reviewing it I found opportunities to clarify and/or simplify related code, so I did that too (see second attachment). Both are installed and I am marking this bug report as done.

Attachment: 0001-grep-improve-performance-of-v-when-combined-with-L-l.patch
Description: Text document

Attachment: 0002-grep-simplify-and-clarify-invert-related-code.patch
Description: Text document

reply via email to

[Prev in Thread] Current Thread [Next in Thread]