* [PATCH for-4.9] tools/build: Fix installation of public headers
@ 2017-05-22 17:00 Andrew Cooper
2017-05-24 14:31 ` Wei Liu
0 siblings, 1 reply; 3+ messages in thread
From: Andrew Cooper @ 2017-05-22 17:00 UTC (permalink / raw)
To: Xen-devel; +Cc: Andrew Cooper, Julien Grall, Ian Jackson, Wei Liu
The recent build fixes have left the install-tools rule no longer installing
the Xen public headers into /usr/include/xen/
Use pattern rules to generalise the %-tools-public-headers targets, and switch
install-tools to depend on install-tools-public-headers rather than
build-tools-public-headers.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
---
CC: Ian Jackson <Ian.Jackson@eu.citrix.com>
CC: Wei Liu <wei.liu2@citrix.com>
CC: Julien Grall <julien.grall@arm.com>
---
Makefile | 12 ++++--------
1 file changed, 4 insertions(+), 8 deletions(-)
diff --git a/Makefile b/Makefile
index fc30b3c..7e40ad6 100644
--- a/Makefile
+++ b/Makefile
@@ -38,13 +38,9 @@ mini-os-dir-force-update: mini-os-dir
export XEN_TARGET_ARCH
export DESTDIR
-.PHONY: build-tools-public-headers
-build-tools-public-headers:
- $(MAKE) -C tools/include
-
-.PHONY: dist-tools-public-headers
-dist-tools-public-headers: build-tools-public-headers
- $(MAKE) -C tools/include dist
+$(foreach i,build install dist,$(eval PHONY: $(i)-tools-public-headers))
+%-tools-public-headers:
+ $(MAKE) -C tools/include $*
# build and install everything into the standard system directories
.PHONY: install
@@ -109,7 +105,7 @@ install-xen:
$(MAKE) -C xen install
.PHONY: install-tools
-install-tools: build-tools-public-headers
+install-tools: install-tools-public-headers
$(MAKE) -C tools install
.PHONY: install-stubdom
--
2.1.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2017-05-24 15:35 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-05-22 17:00 [PATCH for-4.9] tools/build: Fix installation of public headers Andrew Cooper
2017-05-24 14:31 ` Wei Liu
2017-05-24 15:35 ` Ian Jackson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).