diff options
author | monty@donna.mysql.com <> | 2000-12-29 16:06:10 +0200 |
---|---|---|
committer | monty@donna.mysql.com <> | 2000-12-29 16:06:10 +0200 |
commit | 07b1f0dccdf7f58dd79448e293eff85383f450e1 (patch) | |
tree | 53ef6da34dcfaf79e0e133177cccfb9bb63a9637 /BUILD/compile-pentium-symbols | |
parent | 38cd62e82a8a2fe50cd74c15ef040bb5dc1e1f8b (diff) | |
download | mariadb-git-07b1f0dccdf7f58dd79448e293eff85383f450e1.tar.gz |
Fixed --no-defaults in mysqltest
Diffstat (limited to 'BUILD/compile-pentium-symbols')
-rwxr-xr-x | BUILD/compile-pentium-symbols | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/BUILD/compile-pentium-symbols b/BUILD/compile-pentium-symbols new file mode 100755 index 00000000000..4f63763606f --- /dev/null +++ b/BUILD/compile-pentium-symbols @@ -0,0 +1,15 @@ +#! /bin/sh + +path=`dirname $0` +. "$path/SETUP.sh" + +extra_flags="$pentium_cflags $fast_cflags -g" +extra_configs="$pentium_configs" + +# Use the optimized version if it exists +if test -d /usr/local/BerkeleyDB-opt/ +then + extra_configs="$extra_configs --with-berkeley-db=/usr/local/BerkeleyDB-opt/" +fi + +. "$path/FINISH.sh" |