> 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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make