1.1 --- a/configure	Tue Dec 23 22:20:25 2008 +0000
     1.2 +++ b/configure	Wed Jan 07 12:11:37 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