diff options
| author | Petr Vorel <[email protected]> | 2018-05-10 17:15:48 +0200 |
|---|---|---|
| committer | Mimi Zohar <[email protected]> | 2018-05-17 08:03:06 -0400 |
| commit | 4ecd9934ba1c2edf95588a364d49ddfd85c61bd1 (patch) | |
| tree | 0fbb856be814fdd582d98d6ae302f70e357fad22 /lib/mpi/mpi-inline.h | |
| parent | de636769c8c7359dacccca61d6c187d864d1d3b8 (diff) | |
ima: Remove unused variable ima_initialized
Commit a756024 ("ima: added ima_policy_flag variable") replaced
ima_initialized with ima_policy_flag, but didn't remove ima_initialized.
This patch removes it.
Signed-off-by: Petr Vorel <[email protected]>
Reviewed-by: James Morris <[email protected]>
Signed-off-by: Mimi Zohar <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-inline.h')
0 files changed, 0 insertions, 0 deletions