[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/2] maint.mk: Replace grep with $(GREP)
|
From: |
Bruno Haible |
|
Subject: |
Re: [PATCH 2/2] maint.mk: Replace grep with $(GREP) |
|
Date: |
Sun, 02 Dec 2018 13:31:03 +0100 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-138-generic; KDE/5.18.0; x86_64; ; ) |
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?
Bruno
- Re: [PATCH 2/2] maint.mk: Replace grep with $(GREP),
Bruno Haible <=