summaryrefslogtreecommitdiff
path: root/Makeconf
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2012-04-08 23:08:16 +0200
committerThomas Schwinge <thomas@codesourcery.com>2012-04-08 23:08:16 +0200
commitcd0fd36ff291a301e3c8e198b987d15bb2bc2486 (patch)
treefb27a343ad750d8a9962e91eaa4c31aa5dc0c737 /Makeconf
parent070e5054a957078571d8b9a6d09556e628424540 (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.
Diffstat (limited to 'Makeconf')
-rw-r--r--Makeconf2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makeconf b/Makeconf
index 6c9a0a7c..8ff85241 100644
--- a/Makeconf
+++ b/Makeconf
@@ -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)/$*"' > $@