diff options
Diffstat (limited to 'BUILD/compile-pentium-debug')
| -rwxr-xr-x | BUILD/compile-pentium-debug | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BUILD/compile-pentium-debug b/BUILD/compile-pentium-debug index 85d06c77886..2c5e867471b 100755 --- a/BUILD/compile-pentium-debug +++ b/BUILD/compile-pentium-debug @@ -11,7 +11,8 @@ extra_configs="$pentium_configs $debug_configs" # Use the debug version if it exists if test -d /usr/local/BerkeleyDB-dbug/ then - extra_configs="$extra_configs --with-berkeley-db=/usr/local/BerkeleyDB-dbug/ --with-innobase" + extra_configs="$extra_configs --with-berkeley-db=/usr/local/BerkeleyDB-dbug/" fi +extra_configs="$extra_configs --with-innobase" . "$path/FINISH.sh" |