bug-gnulib
[Top][All Lists]
Advanced

[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: Tue, 27 Nov 2018 19:47:12 +0100
User-agent: KMail/5.1.3 (Linux/4.4.0-138-generic; KDE/5.18.0; x86_64; ; )

Eric Blake wrote:
> > In other words, can you guarantee that $(GREP) will never expand to empty?
> 
> If we change gl_INIT() to AC_REQUIRE([AC_PROG_GREP]), then that should 
> be sufficient to ensure $(GREP) is set by the time Makefile is parsed, 
> which in turn will propagate to maint.mk.

Yes. And (question to Roman): what the proper place to change, so that
gl_INIT() contains AC_REQUIRE([AC_PROG_GREP]) ?

Hint: The answer is contained in this part of the Gnulib documentation:
https://www.gnu.org/software/gnulib/manual/html_node/Writing-modules.html

Bruno




reply via email to

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