From 7783cfae2b11cbaee6d16aab42a811fbe8ec23f8 Mon Sep 17 00:00:00 2001 From: wolf Date: Fri, 25 Oct 2002 17:07:39 +0000 Subject: [PATCH] Don't use space in configuration names. git-svn-id: https://svn.dealii.org/trunk@6730 0785d39b-7218-0410-832d-ea1e28bc413d --- .../scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/common/scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg b/deal.II/common/scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg index 62b7f7e021..5401991ba1 100644 --- a/deal.II/common/scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg +++ b/deal.II/common/scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg @@ -2,7 +2,7 @@ my $id = '$Id$'; s/\@Id\@/$id/; # Configuration options -s'compiler=.*'compiler="gcc present CVS"'; +s'compiler=.*'compiler=gcc-present-CVS'; # Commands s'MAIL=.*'MAIL="mail"'; -- 2.39.5