diff options
author | 2022-02-16 12:03:41 -0500 | |
---|---|---|
committer | 2022-03-30 19:40:11 -0700 | |
commit | ecd8204bcc8991b64a5ab970da041b6c01505cc8 (patch) | |
tree | bfd280f92fe99fc57728d7b59c5e729887a98684 /Makefile | |
parent | Merge upstream (diff) | |
download | hardened-refpolicy-ecd8204bcc8991b64a5ab970da041b6c01505cc8.tar.gz hardened-refpolicy-ecd8204bcc8991b64a5ab970da041b6c01505cc8.tar.bz2 hardened-refpolicy-ecd8204bcc8991b64a5ab970da041b6c01505cc8.zip |
Make hide_broken_symptoms unconditional.
These blocks are always enabled.
Signed-off-by: Chris PeBenito <chpebeni@linux.microsoft.com>
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -236,7 +236,7 @@ else VERBOSE_FLAG = --verbose endif -M4PARAM += -D mls_num_sens=$(MLS_SENS) -D mls_num_cats=$(MLS_CATS) -D mcs_num_cats=$(MCS_CATS) -D hide_broken_symptoms=true +M4PARAM += -D mls_num_sens=$(MLS_SENS) -D mls_num_cats=$(MLS_CATS) -D mcs_num_cats=$(MCS_CATS) # we need exuberant ctags; unfortunately it is named # differently on different distros |