diff options
Diffstat (limited to 'tools/flask')
| -rw-r--r-- | tools/flask/libflask/Makefile | 2 | ||||
| -rw-r--r-- | tools/flask/utils/Makefile | 1 |
2 files changed, 1 insertions, 2 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 diff --git a/tools/flask/utils/Makefile b/tools/flask/utils/Makefile index c8cfa78bd2..86c04294f0 100644 --- a/tools/flask/utils/Makefile +++ b/tools/flask/utils/Makefile @@ -8,7 +8,6 @@ LIBFLASK_ROOT = $(XEN_ROOT)/tools/flask/libflask PROFILE=#-pg BASECFLAGS=-Wall -g -Werror BASECFLAGS+= $(PROFILE) -#BASECFLAGS+= -I$(XEN_ROOT)/tools BASECFLAGS+= $(CFLAGS_libxenctrl) BASECFLAGS+= -I$(LIBFLASK_ROOT)/include |