diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-26 10:38:44 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-26 10:38:44 +0000 |
commit | be5fbf9a7fecc31c192ca0c547a1f6b864d7aa05 (patch) | |
tree | 9e7ea5294656ebe1b5e31904644a4cf5560c68f4 /tools/flask | |
parent | bc4a5b7bf50bf466cfc63f20a3907d904d5f0cdf (diff) | |
download | xen-be5fbf9a7fecc31c192ca0c547a1f6b864d7aa05.tar.gz xen-be5fbf9a7fecc31c192ca0c547a1f6b864d7aa05.tar.bz2 xen-be5fbf9a7fecc31c192ca0c547a1f6b864d7aa05.zip |
Move generation of public header hierarchy into the tools.
This patch merges the two versions of public header generation
currently used in the build into one.
Signed-off-by: Bastian Blank <waldi@debian.org>
Diffstat (limited to 'tools/flask')
-rw-r--r-- | tools/flask/libflask/Makefile | 2 | ||||
-rw-r--r-- | tools/flask/loadpolicy/Makefile | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/tools/flask/libflask/Makefile b/tools/flask/libflask/Makefile index b6c086c0c2..8c085b929b 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 += $(INCLUDES) -I./include -I$(XEN_LIBXC) +CFLAGS += $(INCLUDES) -I./include -I$(XEN_LIBXC) -I$(XEN_INCLUDE) # Get gcc to generate the dependencies for us. CFLAGS += -Wp,-MD,.$(@F).d diff --git a/tools/flask/loadpolicy/Makefile b/tools/flask/loadpolicy/Makefile index bb0ead6846..9845222759 100644 --- a/tools/flask/loadpolicy/Makefile +++ b/tools/flask/loadpolicy/Makefile @@ -15,6 +15,7 @@ BASECFLAGS+= $(PROFILE) BASECFLAGS+= -I$(LIBXC_ROOT) BASECFLAGS+= -I$(LIBFLASK_ROOT)/include BASECFLAGS+= -I. +BASECFLAGS+= -I$(XEN_INCLUDE) CFLAGS += $(BASECFLAGS) LDFLAGS += $(PROFILE) -L$(XEN_LIBXC) -L$(LIBFLASK_ROOT) |