tools/buildbot/bootstrap.pl
changeset 4370 c4fb9175ac12
parent 4223 ce8d03613a20
     1.1 --- a/tools/buildbot/bootstrap.pl	Fri May 16 07:01:04 2014 +0100
     1.2 +++ b/tools/buildbot/bootstrap.pl	Sat May 17 15:05:58 2014 -0500
     1.3 @@ -27,7 +27,7 @@
     1.4  my ($result, $argn);
     1.5  $argn = $#ARGV + 1;
     1.6  print "Attempting to reconfigure...\n";
     1.7 -my $conf_args = '--enable-optimize --breakpad-dump --no-color';
     1.8 +my $conf_args = '--enable-optimize --breakpad-dump --no-color --symbol-files';
     1.9  if ($argn > 0 && $^O !~ /MSWin/) {
    1.10  	$result = `CC=$ARGV[0] CXX=$ARGV[0] python ../build/configure.py $conf_args`;
    1.11  } else {