summaryrefslogtreecommitdiff
path: root/BUILD
diff options
context:
space:
mode:
authorunknown <monty@hundin.mysql.fi>2002-11-05 00:04:36 +0200
committerunknown <monty@hundin.mysql.fi>2002-11-05 00:04:36 +0200
commit0a5ed3de92c42928e03251ec87dfd1039cccb0b6 (patch)
tree5ee7948205a2a53237363deaa6969e82a3dcd945 /BUILD
parentf7b50aabd829753c7cbea9a0acbab97054c075e1 (diff)
downloadmariadb-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-xBUILD/compile-pentium-valgrind-max13
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"