diff options
author | unknown <monty@hundin.mysql.fi> | 2001-10-10 23:44:07 +0300 |
---|---|---|
committer | unknown <monty@hundin.mysql.fi> | 2001-10-10 23:44:07 +0300 |
commit | 229e25f8cfc2601febe57e6e99ccdf9667f1add0 (patch) | |
tree | ada7ef6d169cbfbcd4603c237cfa2bf1b229ed50 /Build-tools | |
parent | d6ae6b017bb73b55bc6b22575031a3a8e7b75d41 (diff) | |
download | mariadb-git-229e25f8cfc2601febe57e6e99ccdf9667f1add0.tar.gz |
Always build thread safe client libraries in the distributed build
Add mysqlmanager to binary distribution.
Build-tools/Do-compile:
Always build thread safe client libraries.
Docs/manual.texi:
More info about SET
client/mysqldump.c:
Cleanup
scripts/make_binary_distribution.sh:
Add mysqlmanager
support-files/mysql.spec.sh:
Added mysqlmanager to RPM
Diffstat (limited to 'Build-tools')
-rwxr-xr-x | Build-tools/Do-compile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index c03ca84c29d..10d97dfbe82 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -153,7 +153,7 @@ if ($opt_stage <= 1) { $opt_config_options.= " --with-innodb" } - check_system("$opt_config_env ./configure --prefix=/usr/local/mysql \"--with-comment=Official MySQL$version_suffix binary\" --with-extra-charsets=complex \"--with-server-suffix=$version_suffix\" $opt_config_options","Thank you for choosing MySQL"); + check_system("$opt_config_env ./configure --prefix=/usr/local/mysql \"--with-comment=Official MySQL$version_suffix binary\" --with-extra-charsets=complex \"--with-server-suffix=$version_suffix\" --enable-thread-safe-client $opt_config_options","Thank you for choosing MySQL"); if (-d "$pwd/$host/include-mysql") { safe_system("cp -r $pwd/$host/include-mysql/* $pwd/$host/$ver/include"); @@ -317,7 +317,7 @@ exit 0; sub usage { print <<EOF; -$0 version 1.3 +$0 version 1.4 $0 takes the following options: @@ -549,7 +549,8 @@ sub kill_all chop($cand); ($pid_user, $pid) = split(' ', $cand); next if $pid == $$; - next process if (! ($cand =~ $pattern) || $pid_user ne $user) + next process if (! ($cand =~ $pattern) || $pid_user ne $user); + print LOG "Killing $_\n"; &killpid($pid); } } |