From ea3910f35703711192de83890cbfbed9943ec56d Mon Sep 17 00:00:00 2001 From: Petr Machata Date: Tue, 24 Mar 2009 17:53:15 +0100 Subject: [PATCH] dwarflint: Suppress pubtypes messages even if we are not in GNU mode --- src/dwarflint.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/dwarflint.c b/src/dwarflint.c index d19c759f7..6c8801645 100644 --- a/src/dwarflint.c +++ b/src/dwarflint.c @@ -442,9 +442,6 @@ main (int argc, char *argv[]) { message_cri_and (&warning_criteria, &(struct message_term){mc_none, mc_acc_bloat}); - if (!be_strict) - message_cri_and (&warning_criteria, - &(struct message_term){mc_none, mc_pubtypes}); } if (!be_strict) @@ -454,6 +451,8 @@ main (int argc, char *argv[]) message_cri_and_not (&warning_criteria, &(struct message_term) {mc_line | mc_header | mc_acc_bloat, mc_none}); + message_cri_and (&warning_criteria, + &(struct message_term){mc_none, mc_pubtypes}); } if (be_tolerant) -- 2.47.2