1.1 --- a/configure Tue Dec 23 22:20:25 2008 +0000
1.2 +++ b/configure Mon Jan 12 18:57:45 2009 +0000
1.3 @@ -60,8 +60,6 @@
1.4 MANDIR_set=
1.5 LOCAL_set=
1.6
1.7 -FORCE=0
1.8 -
1.9 do_quit=
1.10 CONTRIB_list=
1.11
1.12 @@ -122,7 +120,8 @@
1.13 done
1.14 echo "Either you are missing entirely the needed tool,"
1.15 echo "or the version you have is tool old."
1.16 - [ ${FORCE} -eq 0 ] && do_error "Bailing out..."
1.17 + # FORCE can be set in the environment
1.18 + [ -z "${FORCE}" ] && do_error "Bailing out..."
1.19 fi
1.20 IFS="${save_IFS}"
1.21 return 0
1.22 @@ -205,9 +204,6 @@
1.23
1.24 Configuration:
1.25 -h, --help display this help and exit
1.26 - --force force ./configure to complete, even if one or more
1.27 - tools were not found. Use at your own risk, only if
1.28 - you know what you are doing!
1.29
1.30 Installation directories:
1.31 --prefix=PREFIX install files in PREFIX [${PREFIX_DEFAULT}]
1.32 @@ -273,7 +269,6 @@
1.33 --docdir*) set_docdir "$1" "$2" && shift || shift 2;;
1.34 --mandir*) set_mandir "$1" "$2" && shift || shift 2;;
1.35 --local) LOCAL_set=1; shift;;
1.36 - --force) FORCE=1; shift;;
1.37 --with-contrib*)
1.38 set_contrib "$1" "$2" && shift || shift 2
1.39 [ "${do_quit}" = "1" ] && exit 0