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 346a759ce61d551c4868f9456a817c29b62e2f30..aed6ca9aaef4e0e7e12e8202b9f23a897b67875a 100644 (file)
--- 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\"")            \