Re: [PATCH 2/2] maint.mk: Replace grep with $(GREP)

[Roman Bolshakov]

On Sun, Dec 02, 2018 at 01:31:03PM +0100, Bruno Haible wrote:
> Roman Bolshakov wrote:
> > I'm quite new to gnulib but thanks to Eric and your comments that should do 
> > it:
> > 
> > diff --git a/modules/maintainer-makefile b/modules/maintainer-makefile
> > index 39b51583c..13b8c546a 100644
> > --- a/modules/maintainer-makefile
> > +++ b/modules/maintainer-makefile
> > @@ -14,6 +14,7 @@ configure.ac:
> >  AC_CONFIG_COMMANDS_PRE([m4_ifdef([AH_HEADER],
> >    [AC_SUBST([CONFIG_INCLUDE], m4_defn([AH_HEADER]))])])
> >  AC_REQUIRE([AC_PROG_SED])
> > +AC_REQUIRE([AC_PROG_GREP])
> > 
> >  Makefile.am:
> >  EXTRA_DIST += $(top_srcdir)/maint.mk
> > 
> 
> Yes, this will do it.
> 
> Can you please resubmit the entire patch 'maint.mk: Replace grep with $(GREP)'
> as a whole?
> 

I will send v2 for the patchset shortly.

Best regards,
Roman