diff options
Diffstat (limited to 'tools/flask/utils/Makefile')
-rw-r--r-- | tools/flask/utils/Makefile | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/tools/flask/utils/Makefile b/tools/flask/utils/Makefile index ff3799a00e..8157b4edfa 100644 --- a/tools/flask/utils/Makefile +++ b/tools/flask/utils/Makefile @@ -3,14 +3,10 @@ include $(XEN_ROOT)/tools/Rules.mk LIBFLASK_ROOT = $(XEN_ROOT)/tools/flask/libflask -PROFILE=#-pg -BASECFLAGS=-Wall -g -Werror -BASECFLAGS+= $(PROFILE) -BASECFLAGS+= $(CFLAGS_libxenctrl) -BASECFLAGS+= -I$(LIBFLASK_ROOT)/include - -CFLAGS += $(BASECFLAGS) -LDLIBS += $(PROFILE) +CFLAGS += -Wall -g -Werror +CFLAGS += $(CFLAGS_libxenctrl) +CFLAGS += -I$(LIBFLASK_ROOT)/include + TESTDIR = testsuite/tmp TESTFLAGS= -DTESTING TESTENV = XENSTORED_ROOTDIR=$(TESTDIR) XENSTORED_RUNDIR=$(TESTDIR) |