diff options
author | unknown <monty@hundin.mysql.fi> | 2002-11-05 00:04:36 +0200 |
---|---|---|
committer | unknown <monty@hundin.mysql.fi> | 2002-11-05 00:04:36 +0200 |
commit | 0a5ed3de92c42928e03251ec87dfd1039cccb0b6 (patch) | |
tree | 5ee7948205a2a53237363deaa6969e82a3dcd945 /BUILD | |
parent | f7b50aabd829753c7cbea9a0acbab97054c075e1 (diff) | |
download | mariadb-git-0a5ed3de92c42928e03251ec87dfd1039cccb0b6.tar.gz |
Fix to get core file on Linux
Docs/manual.texi:
ChangeLog
sql/mysqld.cc:
Write info about writing core file to stderr
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/compile-pentium-valgrind-max | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/BUILD/compile-pentium-valgrind-max b/BUILD/compile-pentium-valgrind-max new file mode 100755 index 00000000000..d58ee723aee --- /dev/null +++ b/BUILD/compile-pentium-valgrind-max @@ -0,0 +1,13 @@ +#! /bin/sh + +path=`dirname $0` +. "$path/SETUP.sh" + +extra_flags="$pentium_cflags $debug_cflags -DHAVE_purify" +c_warnings="$c_warnings $debug_extra_warnings" +cxx_warnings="$cxx_warnings $debug_extra_warnings" +extra_configs="$pentium_configs $debug_configs" + +extra_configs="$extra_configs" + +. "$path/FINISH.sh" |