mirror of
https://github.com/gitbucket/gitbucket.git
synced 2025-10-27 08:36:17 +01:00
15 lines
258 B
Bash
Executable File
15 lines
258 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
MODULE=${1}
|
|
|
|
# this will create a .mod file
|
|
checkmodule -M -m -o ${MODULE}.mod ${MODULE}.te
|
|
|
|
# this will create a compiled semodule
|
|
semodule_package -m ${MODULE}.mod -o ${MODULE}.pp
|
|
|
|
# this will install the module
|
|
semodule -i ${MODULE}.pp
|