diff options
Diffstat (limited to 'BUILD/compile-pentium')
| -rwxr-xr-x | BUILD/compile-pentium | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/BUILD/compile-pentium b/BUILD/compile-pentium index cdbc7e773eb..5d197b48882 100755 --- a/BUILD/compile-pentium +++ b/BUILD/compile-pentium @@ -7,4 +7,10 @@ extra_flags="$pentium_cflags $fast_cflags" extra_configs="$pentium_configs" strip=yes +# 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" |