diff options
-rw-r--r-- | AUTHORS | 1 | ||||
-rwxr-xr-x | configure | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/AUTHORS b/AUTHORS index ad80171..45441cc 100644 --- a/AUTHORS +++ b/AUTHORS @@ -3,6 +3,7 @@ Main author: Contributors: Guillermo <gdiazhartusch@gmail.com> + Xavier Stonestreet <xstonestreet@gmail.com> Thanks to: A. Wilcox <AWilcox@Wilcox-Tech.com> diff --git a/configure b/configure index 0d9c8e0..954dccf 100755 --- a/configure +++ b/configure @@ -201,11 +201,11 @@ for arg ; do --disable-libc-includes|--enable-libc-includes=no) libcincludes=false ;; --enable-nsss|--enable-nsss=yes) usensss=true ;; --disable-nsss|--enable-nsss=no) usensss=false ;; + --with-utmpd-socket=*) utmpdpath=${arg#*=} ;; + --with-wtmpd-socket=*) wtmpdpath=${arg#*=} ;; --enable-*|--disable-*|--with-*|--without-*|--*dir=*) ;; --host=*|--target=*) target=${arg#*=} ;; --build=*) build=${arg#*=} ;; - --with-utmpd-socket=*) utmpdpath=${arg#*=} ;; - --with-wtmpd-socket=*) wtmpdpath=${arg#*=} ;; -* ) echo "$0: unknown option $arg" ;; *=*) ;; *) target=$arg ;; |