Add gcc 3.1 to list of known compilers.

git-svn-id: https://svn.dealii.org/trunk@5838 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/common/scripts/report-build-tests.pl b/deal.II/common/scripts/report-build-tests.pl
index cd898156d01e911e17b75c9c006f9f9fabea3861..ad26f561c61a31dee234aa3b0f7bc082261f5730 100644 (file)
--- a/deal.II/common/scripts/report-build-tests.pl
+++ b/deal.II/common/scripts/report-build-tests.pl
@@ -1,6 +1,7 @@
 ############################################################
 $compiler_table{"gcc295"} = "gcc 2.95";
 $compiler_table{"gcc30"} = "gcc 3.0";
+$compiler_table{"gcc31"} = "gcc 3.1";
 $compiler_table{"icc50"} = "Intel ICC 5.0";
 $compiler_table{"icc60"} = "Intel ICC 6.0";