configure
branch1.12
changeset 2635 daa630f28c05
parent 2551 9409fe04bb7c
child 2636 d53c6d529923
     1.1 --- a/configure	Thu Jul 14 17:59:33 2011 +0200
     1.2 +++ b/configure	Sun Aug 21 17:54:12 2011 +0200
     1.3 @@ -348,6 +348,8 @@
     1.4          --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;;
     1.5          --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir)             shift 2;;
     1.6          --enable-shared|--disable-shared|--enable-static|--disable-static)           shift;;
     1.7 +        --program-prefix=*)                                                          shift;;
     1.8 +        --program-prefix)                                                            shift 2;;
     1.9          *)          printf "Unrecognised option: '${1}'\n"; do_help; exit 1;;
    1.10      esac
    1.11  done