tools/buildbot/bootstrap.pl
changeset 2980 fddc25c39462
parent 2820 c2fc1eff9f51
child 3244 dada05e32e0e
     1.1 --- a/tools/buildbot/bootstrap.pl	Tue May 11 00:10:37 2010 -0700
     1.2 +++ b/tools/buildbot/bootstrap.pl	Tue May 11 00:16:52 2010 -0700
     1.3 @@ -47,6 +47,8 @@
     1.4  	print "Attempting to reconfigure...\n";
     1.5  	if ($^O eq "linux") {
     1.6  		$result = `CC=gcc-4.1 CXX=gcc-4.1 python3.1 ../build/configure.py --enable-optimize`;
     1.7 +	} elsif ($^O eq "darwin") {
     1.8 +		$result = `CC=gcc-4.2 CXX=gcc-4.2 python3.1 ../build/configure.py --enable-optimize`;
     1.9  	} else {
    1.10  		$result = `C:\\Python31\\Python.exe ..\\build\\configure.py --enable-optimize`;
    1.11  	}