configure
branch1.11
changeset 2559 af44455a6567
parent 2203 ac3e215141a1
     1.1 --- a/configure	Tue Nov 16 10:00:27 2010 +0100
     1.2 +++ b/configure	Thu Jul 14 17:59:33 2011 +0200
     1.3 @@ -260,6 +260,7 @@
     1.4          # Skip, auto-stuff compatibility
     1.5          --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;;
     1.6          --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir)             shift 2;;
     1.7 +        --enable-shared|--disable-shared|--enable-static|--disable-static)           shift;;
     1.8          *)          printf "Unrecognised option: '${1}'\n"; do_help; exit 1;;
     1.9      esac
    1.10  done