projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47654a0) | patch
tools/include: adjust population of public headers into xen/
authorJan Beulich <jbeulich@suse.com>
Wed, 14 Oct 2020 12:01:43 +0000 (14:01 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 14 Oct 2020 12:01:43 +0000 (14:01 +0200)
commitedc8d9136bf3854d6b37f782d124273216fb7ffd
tree3f52b0730d9c51e61ad8734cdbf61616a3202f39tree | snapshot
parent47654a0d7320cf5011db7d4d19e0463ea1b2ce32commit | diff
tools/include: adjust population of public headers into xen/

Use a wildcard also for the subdirectories, drop XEN_PUBLIC_INCLUDES for
having a single use only, and don't pass -f to ln to allow noticing name
collisions right away, and add trailing slashes to ln's destination.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Tested-by: Bertrand Marquis <bertrand.marquis@arm.com>
Acked-by: Wei Liu <wl@xen.org>
tools/include/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.