From ef599f7e55da5ef2d590865258ac945f4034601e Mon Sep 17 00:00:00 2001 From: Ralf Ertzinger Date: Sun, 19 Jan 2014 14:00:41 +0100 Subject: [PATCH] Add Make file --- Make | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 Make diff --git a/Make b/Make new file mode 100755 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" -- 1.8.3.1