diff options
author | Eric Biggers <[email protected]> | 2018-07-17 10:43:56 -0700 |
---|---|---|
committer | Paul Moore <[email protected]> | 2018-07-17 16:55:16 -0400 |
commit | 631d2b490569118c5e4d4e35983efe36d9798cb5 (patch) | |
tree | 80fed7e96860995184ab1e3809ac8412a960ca64 /scripts/gdb | |
parent | 67b0b4e4988f296ecc69fc8d09a2ce2741653ee0 (diff) |
selinux: constify write_op[]
write_op[] is never modified, so make it 'const'.
Signed-off-by: Eric Biggers <[email protected]>
Signed-off-by: Paul Moore <[email protected]>
Diffstat (limited to 'scripts/gdb')
0 files changed, 0 insertions, 0 deletions