summaryrefslogtreecommitdiff
path: root/security/tomoyo/.gitignore
diff options
context:
space:
mode:
authorMichal Marek <mmarek@suse.cz>2015-01-15 12:39:22 +0300
committerMichal Marek <mmarek@suse.cz>2015-04-07 22:27:45 +0300
commitf02dee2d148ba854464e7dbf09f1241ee159173a (patch)
tree6fa1335874239c16a9cce8afe256d52d861ce753 /security/tomoyo/.gitignore
parentbf7a9ab43c2f692bce4ee3ed1456f42c77eb1346 (diff)
downloadlinux-f02dee2d148ba854464e7dbf09f1241ee159173a.tar.xz
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/.gitignore')
-rw-r--r--security/tomoyo/.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/security/tomoyo/.gitignore b/security/tomoyo/.gitignore
index 5caf1a6f5907..dc0f220a210b 100644
--- a/security/tomoyo/.gitignore
+++ b/security/tomoyo/.gitignore
@@ -1,2 +1,2 @@
builtin-policy.h
-policy/
+policy/*.conf