From cd0fd36ff291a301e3c8e198b987d15bb2bc2486 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Sun, 8 Apr 2012 23:08:16 +0200
Subject: 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.
---
 Makeconf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makeconf')

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)/$*"' > $@
-- 
cgit v1.2.3