diff options
Diffstat (limited to 'tools/flask/utils/Makefile')
-rw-r--r-- | tools/flask/utils/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/flask/utils/Makefile b/tools/flask/utils/Makefile index 25729a1e8f..171a7283fa 100644 --- a/tools/flask/utils/Makefile +++ b/tools/flask/utils/Makefile @@ -11,7 +11,7 @@ TESTDIR = testsuite/tmp TESTFLAGS= -DTESTING TESTENV = XENSTORED_ROOTDIR=$(TESTDIR) XENSTORED_RUNDIR=$(TESTDIR) -CLIENTS := flask-loadpolicy flask-setenforce flask-getenforce +CLIENTS := flask-loadpolicy flask-setenforce flask-getenforce flask-label-pci CLIENTS_SRCS := $(patsubst flask-%,%.c,$(CLIENTS)) CLIENTS_OBJS := $(patsubst flask-%,%.o,$(CLIENTS)) @@ -27,6 +27,9 @@ flask-setenforce: setenforce.o flask-getenforce: getenforce.o $(CC) $(LDFLAGS) $< $(LDLIBS) -L$(LIBFLASK_ROOT) -lflask $(LDLIBS_libxenctrl) -o $@ +flask-label-pci: label-pci.o + $(CC) $(LDFLAGS) $< $(LDLIBS) -L$(LIBFLASK_ROOT) -lflask $(LDLIBS_libxenctrl) -o $@ + .PHONY: clean clean: rm -f *.o *.opic *.so |