From: Matthias Maier Date: Mon, 13 May 2019 15:06:21 +0000 (-0500) Subject: ignore -Wdeprecated-copy in external headers X-Git-Tag: v9.1.0-rc1~20^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8def242be2425e9c00f448fdd54a55a5e2bee5a2;p=dealii.git ignore -Wdeprecated-copy in external headers --- diff --git a/include/deal.II/base/config.h.in b/include/deal.II/base/config.h.in index 346a759ce6..aed6ca9aae 100644 --- a/include/deal.II/base/config.h.in +++ b/include/deal.II/base/config.h.in @@ -374,6 +374,7 @@ _Pragma("GCC diagnostic ignored \"-Wunknown-warning-option\"") /*!*/ \ _Pragma("GCC diagnostic ignored \"-Wunknown-warning\"") /*!*/ \ _Pragma("GCC diagnostic ignored \"-Wextra\"") /*!*/ \ _Pragma("GCC diagnostic ignored \"-Waddress-of-packed-member\"") \ +_Pragma("GCC diagnostic ignored \"-Wdeprecated-copy\"") \ _Pragma("GCC diagnostic ignored \"-Wdeprecated-declarations\"") \ _Pragma("GCC diagnostic ignored \"-Wexpansion-to-defined\"") \ _Pragma("GCC diagnostic ignored \"-Wexpansion-to-defined\"") \