diff options
author | Michal Marek <[email protected]> | 2015-01-15 10:39:22 +0100 |
---|---|---|
committer | Michal Marek <[email protected]> | 2015-04-07 21:27:45 +0200 |
commit | f02dee2d148ba854464e7dbf09f1241ee159173a (patch) | |
tree | 6fa1335874239c16a9cce8afe256d52d861ce753 /scripts/gdb/linux/utils.py | |
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 <[email protected]>
Signed-off-by: Michal Marek <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions