diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:16 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:16 +0200 |
| commit | cd0fd36ff291a301e3c8e198b987d15bb2bc2486 (patch) | |
| tree | fb27a343ad750d8a9962e91eaa4c31aa5dc0c737 | |
| parent | 070e5054a957078571d8b9a6d09556e628424540 (diff) | |
Avoid recreating the include/* files needlessly.
* Makeconf ($(INSTALLED_LOCAL_HEADERS)): Just depend on the Makefile.
The include/ hierarchy does not depend on anything but the local Makefile;
especially it does not depend on how the package has been configured, which is
what config.make records.
| -rw-r--r-- | Makeconf | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -262,7 +262,7 @@ $(includedir)/$(installhdrsubdir): $(includedir) # it never needs to be repeated for a particular header. local-installhdrsubdir = include/$(installhdrsubdir) INSTALLED_LOCAL_HEADERS := $(installhdrs:%=../$(local-installhdrsubdir)/%) -$(INSTALLED_LOCAL_HEADERS): ../$(local-installhdrsubdir)/%: ../config.make +$(INSTALLED_LOCAL_HEADERS): ../$(local-installhdrsubdir)/%: Makefile @rm -f $@ @test -d $(@D)/ || $(MKINSTALLDIRS) $(@D) echo '#include "../$(dir)/$*"' > $@ |