diff options
| author | Michal Marek <mmarek@suse.cz> | 2015-01-09 14:36:27 +0100 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2015-04-07 21:27:45 +0200 |
| commit | bf7a9ab43c2f692bce4ee3ed1456f42c77eb1346 (patch) | |
| tree | ce26f199c1b32a207cbb925748b49b1f3f50a786 /Documentation/misc-devices | |
| parent | 7e114bbf51fbb015dc25d8123e090afcce5b5048 (diff) | |
tomoyo: Use if_changed when generating builtin-policy.h
Combine the generation of builtin-policy.h into a single command and use
if_changed, so that the file is regenerated each time the command
changes. The next patch will make use of this.
Acked-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'Documentation/misc-devices')
0 files changed, 0 insertions, 0 deletions