configure
changeset 2551 9409fe04bb7c
parent 2540 158702c9f65a
child 2591 491d62ac2017
child 2598 0ef8c2469c8f
     1.1 --- a/configure	Tue Jul 05 00:54:06 2011 +0200
     1.2 +++ b/configure	Thu Jul 14 17:59:33 2011 +0200
     1.3 @@ -347,6 +347,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