diff options
| author | foobar <sniper@php.net> | 2002-09-04 18:47:28 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2002-09-04 18:47:28 +0000 |
| commit | 3bf7519210f53439d22d66c2b05a65e903a12926 (patch) | |
| tree | 9bf39a3928e465b4e62b4d0a3066133470f4278e /ext/session/config.m4 | |
| parent | dcf995c648aced2fc1f6801bd8dee1145823325f (diff) | |
| download | php-git-3bf7519210f53439d22d66c2b05a65e903a12926.tar.gz | |
@- Added --disable-all configure option. (Jani)
Diffstat (limited to 'ext/session/config.m4')
| -rw-r--r-- | ext/session/config.m4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/session/config.m4 b/ext/session/config.m4 index 16bb435413..ddb92441ed 100644 --- a/ext/session/config.m4 +++ b/ext/session/config.m4 @@ -2,12 +2,12 @@ dnl dnl $Id$ dnl -PHP_ARG_WITH(mm,for mm support, -[ --with-mm[=DIR] Include mm support for session storage]) - PHP_ARG_ENABLE(session, whether to enable PHP sessions, [ --disable-session Disable session support], yes) +PHP_ARG_WITH(mm,for mm support, +[ --with-mm[=DIR] Include mm support for session storage], no, no) + if test "$PHP_SESSION" != "no"; then PHP_NEW_EXTENSION(session, session.c mod_files.c mod_mm.c mod_user.c, $ext_shared) PHP_SUBST(SESSION_SHARED_LIBADD) |