From 8def242be2425e9c00f448fdd54a55a5e2bee5a2 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Mon, 13 May 2019 10:06:21 -0500 Subject: [PATCH] ignore -Wdeprecated-copy in external headers --- include/deal.II/base/config.h.in | 1 + 1 file changed, 1 insertion(+) 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\"") \ -- 2.39.5