Commit 8776c21f authored by unknown's avatar unknown
Browse files

Merge shellback.(none):/home/msvensson/mysql/work/my50-work 

into  shellback.(none):/home/msvensson/mysql/mysql-5.0-maint


mysql-test/mysql-test-run.pl:
  Auto merged
parents d1ec10fb a4b16953

mysql-test/mysql-test-run.pl

+1 −1
Original line number Diff line number Diff line
@@ -850,7 +850,7 @@ sub command_line_setup () { 
  if ( ! $opt_suite_timeout )

  {

    $opt_suite_timeout= $default_suite_timeout;

    $opt_suite_timeout*= 4 if defined $opt_valgrind;

    $opt_suite_timeout*= 6 if defined $opt_valgrind;

  }



  # Increase times to wait for executables to start if using valgrind