diff --git a/support/buildbot/bootstrap.pl b/support/buildbot/bootstrap.pl index 37273792..d8521565 100755 --- a/support/buildbot/bootstrap.pl +++ b/support/buildbot/bootstrap.pl @@ -29,12 +29,12 @@ $argn = $#ARGV + 1; print "Attempting to reconfigure...\n"; my $conf_args = '--enable-optimize --no-color --symbol-files'; if ($argn > 0 && $^O !~ /MSWin/) { - $result = `CC=$ARGV[0] CXX=$ARGV[0] python ../build/configure.py $conf_args`; + $result = `CC=$ARGV[0] CXX=$ARGV[0] python3 ../build/configure.py $conf_args`; } else { if ($^O =~ /MSWin/) { $result = `C:\\Python27\\Python.exe ..\\build\\configure.py $conf_args`; } else { - $result = `CC=clang CXX=clang python ../build/configure.py $conf_args`; + $result = `CC=clang CXX=clang python3 ../build/configure.py $conf_args`; } } print "$result\n";