diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index 062ef5c951e..c3643d477b3 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -2,3 +2,4 @@ Miguel@light.local monty@hundin.mysql.fi paul@central.snake.net serg@serg.mysql.com +monty@work.mysql.com diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 2f8a884af76..6c5f79e0d4f 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -113,6 +113,8 @@ if ($opt_stage <= 1) $opt_config_options.=" --with-low-memory" if ($opt_with_low_memory); # Fix files if this is in another timezone than work.mysql.com unlink("config.cache"); + unlink("bdb/build_unix/config.cache"); + unlink("innobase/config.cache"); log_system("$make clean") if ($opt_use_old_distribution); if ($opt_static_server) {