From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 14 Aug 2017 20:29:02 +0000 (-0600)
Subject: disable diagnostic
X-Git-Tag: v8.5.1~1^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=15a428d79abdba3b6864711a03b47c5ac79a6ab9;p=dealii.git

disable diagnostic
---

diff --git a/include/deal.II/base/config.h.in b/include/deal.II/base/config.h.in
index c548f1e24f..44218924df 100644
--- a/include/deal.II/base/config.h.in
+++ b/include/deal.II/base/config.h.in
@@ -314,6 +314,7 @@ _Pragma("GCC diagnostic ignored \"-Wexpansion-to-defined\"")     \
 _Pragma("GCC diagnostic ignored \"-Wignored-attributes\"")       \
 _Pragma("GCC diagnostic ignored \"-Wmisleading-indentation\"")   \
 _Pragma("GCC diagnostic ignored \"-Wundef\"")                    \
+_Pragma("GCC diagnostic ignored \"-Wnon-virtual-dtor\"")         \
 _Pragma("GCC diagnostic warning \"-Wpragmas\"")
 
 #  define DEAL_II_ENABLE_EXTRA_DIAGNOSTICS                       \