diff options
| author | Paul Moore <[email protected]> | 2023-05-05 18:48:35 -0400 |
|---|---|---|
| committer | Paul Moore <[email protected]> | 2023-05-08 16:26:48 -0400 |
| commit | 6f933aa7dfd0bb84b7935168f1d45abec4f702c1 (patch) | |
| tree | 1609209ec877e7486ddb1c40b388d1754a975046 /lib/mpi/mpi-sub-ui.c | |
| parent | ac9a78681b921877518763ba0e89202254349d1b (diff) | |
selinux: more Makefile tweaks
A few small tweaks to improve the SELinux Makefile:
- Define a new variable, 'genhdrs', to represent both flask.h and
av_permissions.h; this should help ensure consistent processing for
both generated headers.
- Move the 'ccflags-y' variable closer to the top, just after the
main 'obj-$(CONFIG_SECURITY_SELINUX)' definition to make it more
visible and improve the grouping in the Makefile.
- Rework some of the vertical whitespace to improve some of the
grouping in the Makefile.
Reviewed-by: Ondrej Mosnacek <[email protected]>
Signed-off-by: Paul Moore <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions