summaryrefslogtreecommitdiff
path: root/Build-tools
diff options
context:
space:
mode:
authorunknown <monty@hundin.mysql.fi>2001-10-10 23:44:07 +0300
committerunknown <monty@hundin.mysql.fi>2001-10-10 23:44:07 +0300
commit229e25f8cfc2601febe57e6e99ccdf9667f1add0 (patch)
treeada7ef6d169cbfbcd4603c237cfa2bf1b229ed50 /Build-tools
parentd6ae6b017bb73b55bc6b22575031a3a8e7b75d41 (diff)
downloadmariadb-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-xBuild-tools/Do-compile7
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);
}
}