tools/buildbot/startbuild.pl
changeset 2980 fddc25c39462
parent 2783 5f333027ef04
child 3472 7c8bf140de6b
     1.1 --- a/tools/buildbot/startbuild.pl	Tue May 11 00:10:37 2010 -0700
     1.2 +++ b/tools/buildbot/startbuild.pl	Tue May 11 00:16:52 2010 -0700
     1.3 @@ -10,7 +10,7 @@
     1.4  
     1.5  chdir('../../../OUTPUT');
     1.6  
     1.7 -if ($^O eq "linux") {
     1.8 +if ($^O eq "linux" || $^O eq "darwin") {
     1.9  	system("python3.1 build.py 2>&1");
    1.10  } else {
    1.11  	system("C:\\Python31\\python.exe build.py 2>&1");