Commit 99f286d5 authored by unknown's avatar unknown
Browse files

Merge pilot.blaudden:/home/msvensson/mysql/mysql-5.0-maint 

into  pilot.blaudden:/home/msvensson/mysql/mysql-5.1-maint


mysql-test/mysql-test-run.pl:
  Auto merged
parents 031e62ec 63b68fa2

mysql-test/mysql-test-run.pl

+10 −0
Original line number Diff line number Diff line
@@ -2129,6 +2129,16 @@ sub remove_stale_vardir () { 
      mtr_verbose("Removing $opt_vardir/");

      rmtree("$opt_vardir/");

    }



    if ( $opt_mem )

    {

      # A symlink from var/ to $opt_mem will be set up

      # remove the $opt_mem dir to assure the symlink

      # won't point at an old directory

      mtr_verbose("Removing $opt_mem");

      rmtree($opt_mem);

    }



  }

  else

  {