From 4c9915b3246f03cee2cb3399138a8f2b564f59f5 Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Fri, 14 Oct 2016 14:51:54 +0200
Subject: [PATCH] [disable_warnings] add -Wpedantic

---
 dune/xt/common/disable_warnings.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune/xt/common/disable_warnings.hh b/dune/xt/common/disable_warnings.hh
index a67320680..22c9330c1 100644
--- a/dune/xt/common/disable_warnings.hh
+++ b/dune/xt/common/disable_warnings.hh
@@ -41,6 +41,7 @@
 #pragma GCC diagnostic ignored "-Wunused-parameter"
 #pragma GCC diagnostic ignored "-Wunused-private-field"
 #pragma GCC diagnostic ignored "-Wused-but-marked-unused"
+#pragma GCC diagnostic ignored "-Wpedantic"
 #elif defined(BOOST_GCC) && BOOST_GCC
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wall"
@@ -61,4 +62,5 @@
 #pragma GCC diagnostic ignored "-Wunreachable-code"
 #pragma GCC diagnostic ignored "-Wunused-local-typedefs"
 #pragma GCC diagnostic ignored "-Wunused-parameter"
+#pragma GCC diagnostic ignored "-Wpedantic"
 #endif
-- 
GitLab