On 27 January 2013 19:47, Paul Eggert <egg...@cs.ucla.edu> wrote: > On 01/27/2013 10:13 AM, Reuben Thomas wrote: > > Perhaps it would be worth recording this fact in pipe-filter.h as a > motivator? > > I'm not sure, since I don't recall the issue. >
If you don't recall it, that sounds more like a yes than a no! > Perhaps if you proposed a patch -- not too wordy I hope -- > that would clarify things. > ---cut-here---- diff --git a/lib/pipe-filter.h b/lib/pipe-filter.h index c210ac4..ed1a79e 100644 --- a/lib/pipe-filter.h +++ b/lib/pipe-filter.h @@ -146,6 +146,11 @@ extern int struct pipe_filter_ig; +/* It would be particularly nice to have this as it would enable a + simple implementation of filters in grep; see: + + https://savannah.gnu.org/patch/?6107 */ + /* ============================ pipe_filter_gi ============================ */ ---cut-here---- -- http://rrt.sc3d.org
