5.2 Configuration File Dependencies

The dependency generation also covers configuration and Makefiles. This is, each object file and target is made dependent on the Makefile and on the various Makeconf.*local's present in the file-system.

Information about if a configuration file is existing or not is stored in a file named .general.d, and this file is made dependent of the existing files. The role-files then ensure that all objects files and targets depend on this .general.d.



L4 Checker 2012-04-11