mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-07 23:54:31 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge mysql.com:/my/mysql-4.0 into mysql.com:/my/mysql-4.0-build

Browse source
This commit is contained in:
unknown 2002-07-29 13:24:52 +02:00
commit 3e8e41406d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Build-tools/Do-compile
View file

@ -12,7 +12,7 @@ GetOptions("Information","help","distribution=s","user=s","result=s","delete","n
usage() if ($opt_help || $opt_Information); usage() if ($opt_help || $opt_Information);
usage() if (!$opt_distribution); usage() if (!$opt_distribution);
if (($opt_innodb || $opt_bdb) && $opt_version_suffix eq "") if ($opt_bdb && $opt_version_suffix eq "")
{ {
$opt_version_suffix="-max"; $opt_version_suffix="-max";
} }