diff options
Diffstat (limited to 'ext/session')
| -rw-r--r-- | ext/session/config.w32 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ext/session/config.w32 b/ext/session/config.w32 new file mode 100644 index 0000000000..fd568f3c3e --- /dev/null +++ b/ext/session/config.w32 @@ -0,0 +1,11 @@ +// $Id$ +// vim:ft=javascript + +ARG_ENABLE("session", "session support", "yes"); + +if (PHP_SESSION == "yes") { + EXTENSION("session", "session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */); + AC_DEFINE("HAVE_PHP_SESSION", 1, "Session support"); +} + + |