configure
changeset 1739 3dd3b6279985
parent 1669 61edd9d19e3c
child 1740 c57458bb354d
     1.1 --- a/configure	Wed Dec 30 15:36:22 2009 +0100
     1.2 +++ b/configure	Sun Jan 17 11:57:53 2010 -0500
     1.3 @@ -257,6 +257,9 @@
     1.4          --with-*)   set_tool   "$1" "$2" && shift || shift 2;;
     1.5          --force)    FORCE=1; shift;;
     1.6          --help|-h)  do_help; exit 0;;
     1.7 +        # Skip, auto-stuff compatibility
     1.8 +        --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;;
     1.9 +        --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir)             shift 2;;
    1.10          *)          printf "Unrecognised option: '${1}'\n"; do_help; exit 1;;
    1.11      esac
    1.12  done