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

bug-grep

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

How about using -m1?

Current Thread

[Next in Thread]

bug#17427: grep -v -l and -v -L fail to early terminate, Jörn Hees, 2014/05/07
- bug#17427: grep -v -l and -v -L fail to early terminate, Paul Eggert <=
  - bug#17427: grep -v -l and -v -L fail to early terminate, Jörn Hees, 2014/05/07
- bug#17427: grep -v -l and -v -L fail to early terminate, Norihiro Tanaka, 2014/05/07
  - bug#17427: grep -v -l and -v -L fail to early terminate, Paul Eggert, 2014/05/08