diff options
Diffstat (limited to 'BUILD/compile-pentium-symbols')
| -rwxr-xr-x | BUILD/compile-pentium-symbols | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/BUILD/compile-pentium-symbols b/BUILD/compile-pentium-symbols deleted file mode 100755 index 4f63763606f..00000000000 --- a/BUILD/compile-pentium-symbols +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh - -path=`dirname $0` -. "$path/SETUP.sh" - -extra_flags="$pentium_cflags $fast_cflags -g" -extra_configs="$pentium_configs" - -# 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" |