diff options
author | Pierre Joye <pajoye@php.net> | 2011-06-16 01:21:01 +0000 |
---|---|---|
committer | Pierre Joye <pajoye@php.net> | 2011-06-16 01:21:01 +0000 |
commit | 171776447692c876b6250073774519b4dc725f9e (patch) | |
tree | 46fef5a843e6a55435297a3fe8fa003437433589 /ext | |
parent | 240653bad73e7f81ca2bc971933de4c4b9a91e33 (diff) | |
download | php-git-171776447692c876b6250073774519b4dc725f9e.tar.gz |
- install extra headers
Diffstat (limited to 'ext')
-rw-r--r-- | ext/session/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/session/config.w32 b/ext/session/config.w32 index 27114f11d3..531fed1fb6 100644 --- a/ext/session/config.w32 +++ b/ext/session/config.w32 @@ -6,5 +6,5 @@ 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"); - PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h"); + PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h php_session.h mod_files.h mod_user.h"); } |