diff --git a/THANKS b/THANKS index aeb22ce3..2164137e 100644 --- a/THANKS +++ b/THANKS @@ -34,5 +34,6 @@ Janosch Rolles Michel Alexandre Salim Anirudh Sanjeev Wolfgang Steitz +Colin Walters Alexander Wilms diff --git a/configure b/configure index 6cfa4a29..1dad5386 100755 --- a/configure +++ b/configure @@ -68,6 +68,12 @@ do CMDLINE="${CMDLINE} -DCMAKE_INSTALL_PREFIX=${value}" ;; +# ignored for autotools compatibility + --bindir | --libdir | --sbindir |--datadir | --localstatedir | --includedir) ;; + --infodir | --sysconfdir | --mandir | --libexecdir) ;; + --build | --host | --target) ;; + --disable-silent-rules | --disable-static ) ;; + --debug) CMDLINE="${CMDLINE} -DDEBUG=ON" ;;