diff --git a/deep_profiler/Mercury.options b/deep_profiler/Mercury.options index 24e73a80d..09b52a141 100644 --- a/deep_profiler/Mercury.options +++ b/deep_profiler/Mercury.options @@ -30,3 +30,5 @@ MCFLAGS-canonical += --no-warn-dead-preds # Uncomment this to see debug messages from the code that reads the Deep.data # files. # MCFLAGS-read_profile += --trace-flag debug_read_profdeep + +MCFLAGS-mdbcomp += --no-warn-include-and-non-include diff --git a/grade_lib/Mercury.options b/grade_lib/Mercury.options index e69de29bb..224945649 100644 --- a/grade_lib/Mercury.options +++ b/grade_lib/Mercury.options @@ -0,0 +1,2 @@ + +MCFLAGS-grade_lib += --no-warn-include-and-non-include diff --git a/slice/Mercury.options b/slice/Mercury.options index 92e311873..4e42c8769 100644 --- a/slice/Mercury.options +++ b/slice/Mercury.options @@ -1,7 +1,7 @@ #-----------------------------------------------------------------------------# # vim: ts=4 sw=4 expandtab #-----------------------------------------------------------------------------# -# Copyright (C) 2023 The Mercury team. +# Copyright (C) 2023, 2025 The Mercury team. # This file may only be copied under the terms of the GNU General # Public License - see the file COPYING in the Mercury distribution. #-----------------------------------------------------------------------------# @@ -9,3 +9,4 @@ #-----------------------------------------------------------------------------# MCFLAGS-mtc_diff +=--no-warn-det-decls-too-lax +MCFLAGS-mdbcomp +=--no-warn-include-and-non-include