diff options
Diffstat (limited to 'BUILD/compile-pentium-debug')
| -rwxr-xr-x | BUILD/compile-pentium-debug | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/BUILD/compile-pentium-debug b/BUILD/compile-pentium-debug index 094c4e9ca86..45305661806 100755 --- a/BUILD/compile-pentium-debug +++ b/BUILD/compile-pentium-debug @@ -8,4 +8,10 @@ c_warnings="$c_warnings $debug_extra_warnings" cxx_warnings="$cxx_warnings $debug_extra_warnings" 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/" +fi + . "$path/FINISH.sh" |