diff --git a/support/buildbot/bootstrap.pl b/support/buildbot/bootstrap.pl index e14343cc..e2374225 100755 --- a/support/buildbot/bootstrap.pl +++ b/support/buildbot/bootstrap.pl @@ -25,7 +25,7 @@ if (!(-f 'OUTPUT/.ambuild2/graph') || !(-f 'OUTPUT/.ambuild2/vars')) { my ($result, $argn); $argn = $#ARGV + 1; print "Attempting to reconfigure...\n"; - my $conf_args = '--enable-optimize --no-color'; + 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`; } else {