From ecd8204bcc8991b64a5ab970da041b6c01505cc8 Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Wed, 16 Feb 2022 12:03:41 -0500 Subject: Make hide_broken_symptoms unconditional. These blocks are always enabled. Signed-off-by: Chris PeBenito Signed-off-by: Jason Zaman --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 53af1468..ed4a4c40 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3-65-gdbad