mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-25 09:45:31 +02:00
Code Issues Projects Releases Packages Wiki Activity

Cleanup between compilations

Browse source 
Build-tools/Do-compile:
  Cleanups
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted
This commit is contained in:
unknown 2001-10-03 17:38:30 +02:00
commit 8fa4fe0886
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
BitKeeper/etc/logging_ok
View file

@ -2,3 +2,4 @@ Miguel@light.local
monty@hundin.mysql.fi
paul@central.snake.net
serg@serg.mysql.com
monty@work.mysql.com

2
Build-tools/Do-compile
View file

@ -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)
{