diff options
Diffstat (limited to 'tools/misc')
| -rw-r--r-- | tools/misc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index c994ddd6a2..c4412c50cd 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -4,7 +4,7 @@ include $(XEN_ROOT)/tools/Rules.mk CFLAGS += -Werror CFLAGS += -I $(XEN_LIBXC) -CFLAGS += -I $(XEN_INCLUDE) +CFLAGS += $(CFLAGS_xeninclude) HDRS = $(wildcard *.h) |