diff options
author | Michal Marek <mmarek@suse.cz> | 2015-01-15 10:39:22 +0100 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2015-04-07 21:27:45 +0200 |
commit | f02dee2d148ba854464e7dbf09f1241ee159173a (patch) | |
tree | 6fa1335874239c16a9cce8afe256d52d861ce753 /security/tomoyo/policy | |
parent | bf7a9ab43c2f692bce4ee3ed1456f42c77eb1346 (diff) | |
download | linux-f02dee2d148ba854464e7dbf09f1241ee159173a.tar.bz2 |
tomoyo: Do not generate empty policy files
The Makefile automatically generates the tomoyo policy files, which are
not removed by make clean (because they could have been provided by the
user). Instead of generating the missing files, use /dev/null if a
given file is not provided. Store the default exception_policy in
exception_policy.conf.default.
Acked-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'security/tomoyo/policy')
-rw-r--r-- | security/tomoyo/policy/exception_policy.conf.default | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/security/tomoyo/policy/exception_policy.conf.default b/security/tomoyo/policy/exception_policy.conf.default new file mode 100644 index 000000000000..2678df4964ee --- /dev/null +++ b/security/tomoyo/policy/exception_policy.conf.default @@ -0,0 +1,2 @@ +initialize_domain /sbin/modprobe from any +initialize_domain /sbin/hotplug from any |