-
Committer:
Sven Eckelmann
-
Date:
2013-12-19 11:07:07 UTC
-
Revision ID:
git-v1:3afda34f4933b5d3d9f07255ec09f03d4c188c8f
Don't fail rebuild when header is removed
The *.d depends files for make just list the files used when building an
object file. Removing a file listed in such a dependency file causes make to
search for a way to recreate it. This usually cannot work because these files
aren't autogenerated.
The gcc option -MP can be used to generate empty rule for these files. Removing
a file in a dependency list will then execute this empty rule and continue with
the execution of the creation of the object file. This compilation process will
then automatically correct the dependency file.