From: wolf Date: Fri, 25 Oct 2002 17:07:39 +0000 (+0000) Subject: Don't use space in configuration names. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7783cfae2b11cbaee6d16aab42a811fbe8ec23f8;p=dealii-svn.git Don't use space in configuration names. git-svn-id: https://svn.dealii.org/trunk@6730 0785d39b-7218-0410-832d-ea1e28bc413d --- 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"';