mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-21 15:55:53 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge work:/home/bk/mysql into hundin.mysql.fi:/my/bk/mysql

Browse source 
Build-tools/Do-compile:
  Auto merged
This commit is contained in:
unknown 2001-10-03 18:38:31 +03:00
commit e9a620e60b
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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