diff options
| author | Michal Marek | 2015-01-15 10:39:22 +0100 |
|---|---|---|
| committer | Michal Marek | 2015-04-07 21:27:45 +0200 |
| commit | f02dee2d148ba854464e7dbf09f1241ee159173a (patch) | |
| tree | 6fa1335874239c16a9cce8afe256d52d861ce753 /security/tomoyo/.gitignore | |
| parent | bf7a9ab43c2f692bce4ee3ed1456f42c77eb1346 (diff) | |
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/.gitignore | 2 |
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 |