diff options
Diffstat (limited to 'tools/xenmon')
-rw-r--r-- | tools/xenmon/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/xenmon/Makefile b/tools/xenmon/Makefile index ef0b36227c..886d5b2d02 100644 --- a/tools/xenmon/Makefile +++ b/tools/xenmon/Makefile @@ -16,6 +16,7 @@ include $(XEN_ROOT)/tools/Rules.mk CFLAGS += -Werror CFLAGS += -I $(XEN_XC) CFLAGS += -I $(XEN_LIBXC) +CFLAGS += -I $(XEN_INCLUDE) LDFLAGS += -L $(XEN_LIBXC) BIN = xentrace_setmask xenbaked |