diff options
author | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-24 02:27:47 -0500 |
---|---|---|
committer | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-26 11:43:54 -0500 |
commit | 621d9e5c413e561293d7484b93882d985b3fe15f (patch) | |
tree | 638f3d75761c121d9a8fb50b52a12a6686c5ac5c /base/selinux/src/Makefile | |
parent | 40d3643b8d91886bf210aa27f711731c81a11e49 (diff) | |
download | pki-621d9e5c413e561293d7484b93882d985b3fe15f.tar.gz pki-621d9e5c413e561293d7484b93882d985b3fe15f.tar.xz pki-621d9e5c413e561293d7484b93882d985b3fe15f.zip |
Removed unnecessary pki folder.
Previously the source code was located inside a pki folder.
This folder was created during svn migration and is no longer
needed. This folder has now been removed and the contents have
been moved up one level.
Ticket #131
Diffstat (limited to 'base/selinux/src/Makefile')
-rw-r--r-- | base/selinux/src/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/base/selinux/src/Makefile b/base/selinux/src/Makefile new file mode 100644 index 000000000..201a448a9 --- /dev/null +++ b/base/selinux/src/Makefile @@ -0,0 +1,18 @@ +POLICY_MAKEFILE = /usr/share/selinux/devel/Makefile +POLICY_DIR = $(DESTDIR)/usr/share/selinux/targeted + +all: + if [ ! -e $(POLICY_MAKEFILE) ]; then echo "You need to install the SELinux development tools (selinux-policy-devel)" && exit 1; fi + $(MAKE) -f $(POLICY_MAKEFILE) || exit 1; + +clean: + rm -rf tmp + rm pki.pp + +install: all + install -d $(POLICY_DIR) + install -m 644 pki.pp $(POLICY_DIR) + +load: + /usr/sbin/semodule -i pki.pp + |