diff options
Diffstat (limited to 'tools/flask/libflask/Makefile')
-rw-r--r-- | tools/flask/libflask/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/flask/libflask/Makefile b/tools/flask/libflask/Makefile index 0271fe9d2c..92e836a537 100644 --- a/tools/flask/libflask/Makefile +++ b/tools/flask/libflask/Makefile @@ -11,7 +11,7 @@ SRCS += flask_op.c CFLAGS += -Werror CFLAGS += -fno-strict-aliasing -CFLAGS += -I./include -I$(XEN_LIBXC) -I$(XEN_INCLUDE) +CFLAGS += -I./include -I$(XEN_LIBXC) $(CFLAGS_xeninclude) # Get gcc to generate the dependencies for us. CFLAGS += -Wp,-MD,.$(@F).d |