diff options
Diffstat (limited to 'tools/flask/utils/Makefile')
-rw-r--r-- | tools/flask/utils/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
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 |