Warlich, Christof wrote: > > > Thus, I need to reparse the Makefile whenever mounting was > > > needed. > >> An include file might help you with that. > > I reread the section about the include directive in the manual, > but I'm not sure if I really understand: As the whole point is > about reparsing, I assume you refer to make's ability to generate > non-existing include files? An if I got the idea behind that right, > Make will then repase its Makefile (and the newly generated include > file)?
I haven't thought it through, but yes, something like that. IIRC, Make will first check for dependencies on include files, and do any rebuilds. If an include file is update, Make will start over and reparse the Makefile. /Per Jessen, Zürich _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
