]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Don't use space in configuration names.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 25 Oct 2002 17:07:39 +0000 (17:07 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 25 Oct 2002 17:07:39 +0000 (17:07 +0000)
git-svn-id: https://svn.dealii.org/trunk@6730 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/build-test/configurations/gandalf-gcc-cvs-head.cfg

index 62b7f7e0214736c3b0e12ee2cca5fa2e6880fe65..5401991ba17393cb6e045a3d3388d3ed51123686 100644 (file)
@@ -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"';

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.