[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: SF Markus Elfring
Subject: Re: How to avoid the double execution of a make info call?
Date: Thu, 22 Jun 2017 21:22:17 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0

> 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.


reply via email to

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