Check for include guards

diff --git a/tests/all-headers/test_header.cc b/tests/all-headers/test_header.cc
index 3cc8ff2ad4827cb05a7d858673a2aeb596e582a6..0715050ae79ebeaf1f554f87340726e32ff6cca5 100644 (file)
--- a/tests/all-headers/test_header.cc
+++ b/tests/all-headers/test_header.cc
@@ -1,6 +1,6 @@
 // ---------------------------------------------------------------------
 //
-// Copyright (C) 2013 - 2015 by the deal.II authors
+// Copyright (C) 2013 - 2016 by the deal.II authors
 //
 // This file is part of the deal.II library.
 //
@@ -13,6 +13,8 @@
 //
 // ---------------------------------------------------------------------
 
+//include header twice to see if the include guards are set correctly
+#include HEADER
 #include HEADER
 
 #if !defined(DEAL_II_NAMESPACE_OPEN) && !defined(dealii__revision_h)