ccflags-y += -I$(srctree)/security/selinux -I$(srctree)/security/selinux/include
obj-y += selinuxp.o

ifdef CONFIG_IEE_SELINUX_P
FLASK_HDR :=  $(srctree)/security/selinux/flask.h
$(obj)/iee-selinuxp.o: $(FLASK_HDR)
endif