From: Timo Heister 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 \