diff options
Diffstat (limited to 'ext/session')
| -rw-r--r-- | ext/session/config.m4 | 34 |
1 files changed, 8 insertions, 26 deletions
diff --git a/ext/session/config.m4 b/ext/session/config.m4 index 11496f4a60..89017871ae 100644 --- a/ext/session/config.m4 +++ b/ext/session/config.m4 @@ -1,31 +1,13 @@ dnl $Id$ -AC_MSG_CHECKING(for mm support) -AC_ARG_WITH(mm, -[ --with-mm[=DIR] Include mm support for session storage],[ - PHP_MM=$withval -],[ - PHP_MM=no -]) -AC_MSG_RESULT($PHP_MM) - -AC_MSG_CHECKING(whether to enable session support) -AC_ARG_ENABLE(session, -[ --disable-session Disable session support],[ - PHP_SESSION=$enableval -],[ - PHP_SESSION=yes -]) -AC_MSG_RESULT($PHP_SESSION) - -AC_MSG_CHECKING(whether to enable transparent session id propagation) -AC_ARG_ENABLE(trans-sid, -[ --enable-trans-sid Enable transparent session id propagation],[ - PHP_TRANS_SID=$enableval -],[ - PHP_TRANS_SID=no -]) -AC_MSG_RESULT($PHP_TRANS_SID) +PHP_ARG_WITH(mm,for mm support, +[ --with-mm[=DIR] Include mm support for session storage]) + +PHP_ARG_ENABLE(session, whether to enable session support, +[ --disable-session Disable session support], yes) + +PHP_ARG_ENABLE(trans-sid,whether to enable transparent session id propagation, +[ --enable-trans-sid Enable transparent session id propagation]) if test "$PHP_MM" != "no"; then for i in /usr/local /usr $PHP_MM; do |