diff --git a/support/buildbot/startbuild.pl b/support/buildbot/startbuild.pl index 38e6d01..712ae63 100755 --- a/support/buildbot/startbuild.pl +++ b/support/buildbot/startbuild.pl @@ -10,6 +10,12 @@ require 'helpers.pm'; chdir('../../../OUTPUT'); +my $argn = $#ARGV + 1; +if ($argn > 0) { + $ENV{CC} = $ARGV[0]; + $ENV{CXX} = $ARGV[0]; +} + system("ambuild --no-color 2>&1"); if ($? != 0)