diff options
author | monty@hundin.mysql.fi <> | 2002-06-03 12:59:31 +0300 |
---|---|---|
committer | monty@hundin.mysql.fi <> | 2002-06-03 12:59:31 +0300 |
commit | f0b28da6f91cf87804015b5dde4820be040c2de7 (patch) | |
tree | be04186411dc657ef6bbcbe01267d30f2675c914 /BUILD/compile-pentium-gcov | |
parent | 3ede8f6289b53345f44aecffd70c7e291f88186b (diff) | |
parent | 544f95c45112993df1d31d3eda859dd5e4efff89 (diff) | |
download | mariadb-git-f0b28da6f91cf87804015b5dde4820be040c2de7.tar.gz |
merge with 4.0
Diffstat (limited to 'BUILD/compile-pentium-gcov')
-rwxr-xr-x | BUILD/compile-pentium-gcov | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BUILD/compile-pentium-gcov b/BUILD/compile-pentium-gcov index 873d1d0d8e8..05cb0bb0d78 100755 --- a/BUILD/compile-pentium-gcov +++ b/BUILD/compile-pentium-gcov @@ -3,7 +3,8 @@ path=`dirname $0` . "$path/SETUP.sh" -extra_flags="$pentium_cflags -O2 -fprofile-arcs -ftest-coverage" +extra_flags="$pentium_cflags -fprofile-arcs -ftest-coverage" extra_configs="$pentium_configs $debug_configs --disable-shared $static_link" +extra_configs="$extra_configs --with-innodb --with-berkeley-db" . "$path/FINISH.sh" |