-
Committer:
Sven Eckelmann
-
Date:
2013-12-19 11:55:19 UTC
-
Revision ID:
git-v1:5892aa7cdde52f2d2a4f83c738eb4701ed3f165e
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.