Add Make file
authorRalf Ertzinger <ralf@skytale.net>
Sun, 19 Jan 2014 13:00:41 +0000 (14:00 +0100)
committerRalf Ertzinger <ralf@skytale.net>
Sun, 19 Jan 2014 13:00:41 +0000 (14:00 +0100)
Make [new file with mode: 0755]

diff --git a/Make b/Make
new file mode 100755 (executable)
index 0000000..bbb487e
--- /dev/null
+++ b/Make
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -e
+
+die() {
+    echo "$@"
+    exit 1
+}
+
+[ ! -r /usr/share/selinux/devel/Makefile ] && die "/usr/share/selinux/devel/Makefile not found. Please install selinux-policy-devel"
+
+make -f /usr/share/selinux/devel/Makefile clean all
+
+echo "run 'semodule -i *.pp' to install"