From 5b7299766fbfcbca59f96e50b71d9aa7c1e0ae12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Fri, 22 Sep 2023 14:16:23 +0200
Subject: [PATCH] Remove warning about unused parameter (-Wunused-parameter)
under Windows
---
src/ConfigFile.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ConfigFile.cc b/src/ConfigFile.cc
index e4c6ac81..2b40cce7 100644
--- a/src/ConfigFile.cc
+++ b/src/ConfigFile.cc
@@ -535,7 +535,7 @@ ConfigFile::addParallelConfFileElement(bool inNode, bool inCluster, const member
}
void
-ConfigFile::checkPass(WarningConsolidation &warnings) const
+ConfigFile::checkPass([[maybe_unused]] WarningConsolidation &warnings) const
{
for (bool global_init_file_declared{false};
const auto &hook : hooks)
--
GitLab