diff options
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD/SETUP.sh | 2 | ||||
| -rwxr-xr-x | BUILD/compile-pentium | 2 | ||||
| -rwxr-xr-x | BUILD/compile-pentium-debug | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 7e0810dfd1c..5be7942e935 100644 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -10,7 +10,7 @@ while test $# -gt 0 do case "$1" in -c | --just-configure ) just_configure=1; shift ;; - -n | --just-print ) nonono=1; shift ;; + -n | --just-print | --print ) nonono=1; shift ;; -h | --help ) cat <<EOF; exit 0 ;; Usage: $0 [-h|-n] [configure-options] -h, --help Show this help message. diff --git a/BUILD/compile-pentium b/BUILD/compile-pentium index ea8371dd521..4ece8b1f321 100755 --- a/BUILD/compile-pentium +++ b/BUILD/compile-pentium @@ -12,6 +12,6 @@ if test -d /usr/local/BerkeleyDB-opt/ then extra_configs="$extra_configs --with-berkeley-db=/usr/local/BerkeleyDB-opt/" fi -extra_configs="$extra_configs --with-innobase-db" +extra_configs="$extra_configs --with-innobase" . "$path/FINISH.sh" diff --git a/BUILD/compile-pentium-debug b/BUILD/compile-pentium-debug index 605d9d2abe6..2c5e867471b 100755 --- a/BUILD/compile-pentium-debug +++ b/BUILD/compile-pentium-debug @@ -13,6 +13,6 @@ if test -d /usr/local/BerkeleyDB-dbug/ then extra_configs="$extra_configs --with-berkeley-db=/usr/local/BerkeleyDB-dbug/" fi -extra_configs="$extra_configs --with-innobase-db" +extra_configs="$extra_configs --with-innobase" . "$path/FINISH.sh" |