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

[SF Markus Elfring]

> If the makefile, or any of the files it includes, is updated by make
> then make will re-execute itself and re-read all the makefiles from
> scratch so it can see the updated content.  When that happens,
> obviously all the $(info ...) functions etc. will be re-expanded.

Thanks for your repeated explanation.

I'm sorry that I needed also another reminder.


>> Or is it more desirable to deactivate the message “modules without
>> mli files”?
> 
> That's up to you; we can't decide for you.

I am curious on how the support for consistent interface descriptions
will evolve also for a programming language like OCaml.


> If you decide you want to test whether or not this makefile is being
> read due to the initial parse versus a re-execution of make you can
> check the MAKE_RESTARTS variable:

I have added this one.


> Or you can just remove these $(info ...) statements.

I am also curious on how other involved contributors will react to
a pull request for recent software developments around the discussed
build scripts.

Regards,
Markus