Re: How to avoid the double execution of a make info call?

[Paul Smith]

On Thu, 2017-06-22 at 09:36 +0200, SF Markus Elfring wrote:
> > modules_without_mli::=$(filter-out $(basename $(mli_sources)),$(basename 
> > $(ml_sources)))
> > $(info modules_without_mli)
> > $(info $(sort $(modules_without_mli)))
> 
> Now I observe that the test output occurs twice while I am trying the
> evolving script “~/Projekte/Coccinelle/20160205/parsing_c/Makefile”
> out.

Each $(info ...) function will be expanded exactly once every time the
makefile is parsed.

If you are seeing these values printed multiple times it means that the
makefile is being parsed multiple times.  Why that might be, we can't
determine from the information provided.  Either you are invoking make
more than once in this subdirectory, or else make has re-executed itself
because this makefile or one of its included files was rebuilt; see
https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html

As always, if you can't figure out what's going on running "make -d"
will help you more than we can.