diff options
| author | Wez Furlong <wez@php.net> | 2003-12-02 23:17:04 +0000 |
|---|---|---|
| committer | Wez Furlong <wez@php.net> | 2003-12-02 23:17:04 +0000 |
| commit | 05b9b20ed8e2f98b3fb71a227e49e11bdf7b9c6b (patch) | |
| tree | 70b88eab212d192b86f10a5dedfcedb92785f840 /ext/session | |
| parent | 30b631d9f613e1644123e9cea0285ff1f7278b08 (diff) | |
| download | php-git-05b9b20ed8e2f98b3fb71a227e49e11bdf7b9c6b.tar.gz | |
Add new (optional!) win32 build infrastructure.
Will follow up to internals@ shortly.
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"); +} + + |