tools/buildbot/bootstrap.pl
changeset 3309 ef25ef57a0b0
parent 3267 622ef46cd089
child 3472 7c8bf140de6b
     1.1 --- a/tools/buildbot/bootstrap.pl	Fri Jun 24 02:01:03 2011 -0400
     1.2 +++ b/tools/buildbot/bootstrap.pl	Fri Jun 24 17:29:05 2011 -0500
     1.3 @@ -50,7 +50,7 @@
     1.4  		$result = `CC=$ARGV[0] CXX=$ARGV[0] python3.1 ../build/configure.py --enable-optimize`;
     1.5  	} else {
     1.6  		if ($^O eq "linux") {
     1.7 -			$result = `CC=gcc-4.1 CXX=gcc-4.1 python3.1 ../build/configure.py --enable-optimize`;
     1.8 +			$result = `CC=gcc-4.4 CXX=gcc-4.4 python3.1 ../build/configure.py --enable-optimize`;
     1.9  		} elsif ($^O eq "darwin") {
    1.10  			$result = `CC=gcc-4.2 CXX=gcc-4.2 python3.1 ../build/configure.py --enable-optimize`;
    1.11  		} else {