- install extra headers

pierrejoye · pierrejoye · commit 175f84436c97 · 2011-06-16T01:21:01.000Z
diff --git 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");
 }

Original file line number	Diff line number	Diff line change
`@@ -6,5 +6,5 @@ ARG_ENABLE("session", "session support", "yes");`
`6`	`6`	`if (PHP_SESSION == "yes") {`
`7`	`7`	`EXTENSION("session", "session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */);`
`8`	`8`	`AC_DEFINE("HAVE_PHP_SESSION", 1, "Session support");`
`9`		`- PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h");`
	`9`	`+ PHP_INSTALL_HEADERS("ext/session/", "mod_mm.h php_session.h mod_files.h mod_user.h");`
`10`	`10`	`}`