Guard pragmas

diff --git a/include/deal.II/base/config.h.in b/include/deal.II/base/config.h.in
index 81da0b3ccd6157494989ff7cfacda34a89112a28..793f3d8893a5d6caf12e7720c9927e919d24db27 100644 (file)
--- a/include/deal.II/base/config.h.in
+++ b/include/deal.II/base/config.h.in
@@ -289,11 +289,13 @@
 
 #  define DEAL_II_DISABLE_EXTRA_DIAGNOSTICS                \
 _Pragma("GCC diagnostic push")                             \
+_Pragma("GCC diagnostic ignored \"-Wpragmas\"")            \
 _Pragma("GCC diagnostic ignored \"-Wextra\"")              \
 _Pragma("GCC diagnostic ignored \"-Woverloaded-virtual\"") \
 _Pragma("GCC diagnostic ignored \"-Wunused-function\"")    \
 _Pragma("GCC diagnostic ignored \"-Wunused-parameter\"")   \
-_Pragma("GCC diagnostic ignored \"-Wunused-variable\"")
+_Pragma("GCC diagnostic ignored \"-Wunused-variable\"")    \
+_Pragma("GCC diagnostic warning \"-Wpragmas\"")
 
 #  define DEAL_II_ENABLE_EXTRA_DIAGNOSTICS                 \
 _Pragma("GCC diagnostic pop")