diff options
author | lenz@mysql.com <> | 2002-09-27 13:53:14 +0200 |
---|---|---|
committer | lenz@mysql.com <> | 2002-09-27 13:53:14 +0200 |
commit | 66646cc4588d4119165127e4d69b15ed53a046e4 (patch) | |
tree | cfb94bd505d6e03113e145db1e52fbb9acb31c32 /Build-tools | |
parent | 649413f773955b982b8eb963422702a0a8e481db (diff) | |
download | mariadb-git-66646cc4588d4119165127e4d69b15ed53a046e4.tar.gz |
- merge 4.0 modifications to Build-tools/Do-compile
Diffstat (limited to 'Build-tools')
-rwxr-xr-x | Build-tools/Do-compile | 9 |
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"); |