From 171776447692c876b6250073774519b4dc725f9e Mon Sep 17 00:00:00 2001 From: Pierre Joye Date: Thu, 16 Jun 2011 01:21:01 +0000 Subject: [PATCH] - install extra headers --- ext/session/config.w32 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"); } -- 2.40.0