summaryrefslogtreecommitdiff
path: root/Build-tools
diff options
context:
space:
mode:
authorlenz@mysql.com <>2002-09-27 13:53:14 +0200
committerlenz@mysql.com <>2002-09-27 13:53:14 +0200
commit66646cc4588d4119165127e4d69b15ed53a046e4 (patch)
treecfb94bd505d6e03113e145db1e52fbb9acb31c32 /Build-tools
parent649413f773955b982b8eb963422702a0a8e481db (diff)
downloadmariadb-git-66646cc4588d4119165127e4d69b15ed53a046e4.tar.gz
- merge 4.0 modifications to Build-tools/Do-compile
Diffstat (limited to 'Build-tools')
-rwxr-xr-xBuild-tools/Do-compile9
1 files changed, 6 insertions, 3 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile
index e6773c1ca58..6bee9fb8a92 100755
--- a/Build-tools/Do-compile
+++ b/Build-tools/Do-compile
@@ -208,12 +208,15 @@ if ($opt_stage <= 1)
$opt_config_options.= " --disable-shared" if (!$opt_enable_shared); # Default for binary versions
$opt_config_options.= " --with-berkeley-db" if ($opt_bdb);
$opt_config_options.= " --with-client-ldflags=-all-static" if ($opt_static_client);
- $opt_config_options.= " --with-innodb" if ($opt_innodb);
$opt_config_options.= " --with-libwrap" if ($opt_libwrap);
$opt_config_options.= " --with-low-memory" if ($opt_with_low_memory);
$opt_config_options.= " --with-mysqld-ldflags=-all-static" if ($opt_static_server);
$opt_config_options.= " --with-raid" if ($opt_raid);
+ # Only enable InnoDB when requested (required to be able to
+ # build the "Classic" packages that do not include InnoDB)
+ $opt_config_options.= " --without-innodb" if (!$opt_innodb);
+
if ($opt_with_other_libc)
{
$opt_with_other_libc= " --with-other-libc=$opt_with_other_libc";
@@ -516,9 +519,9 @@ sub abort
open(TMP,">$mail_header_file");
print TMP "From: mysql\@$full_host_name\n";
print TMP "To: $email\n";
- print TMP "Subject: MySQL compilation failed again\n\n";
+ print TMP "Subject: $ver$opt_version_suffix compilation failed\n\n";
close TMP;
- system("tail -30 $log > $log.mail");
+ system("tail -40 $log > $log.mail");
system("cat $mail_header_file $log.mail | $sendmail -t -f $email");
unlink($mail_header_file);
unlink("$log.mail");