diff options
| -rwxr-xr-x | BUILD/compile-pentium-gcov | 3 | ||||
| -rw-r--r-- | BitKeeper/etc/logging_ok | 1 |
2 files changed, 3 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" diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index 6c0a462296e..be08c6d5d51 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -54,3 +54,4 @@ venu@work.mysql.com zak@balfor.local zak@linux.local lenz@mysql.com +akishkin@work.mysql.com |