- attempt to fix win32 build; not sure, though, if it's going to work...
authorMichael Wallner <mike@php.net>
Sat, 4 Feb 2006 20:53:42 +0000 (20:53 +0000)
committerMichael Wallner <mike@php.net>
Sat, 4 Feb 2006 20:53:42 +0000 (20:53 +0000)
config.w32

index 911443c44806252a40e4e6eb8dfc1d0300752fe4..ae73eae863e3f37e4af04bf6a1c0da61ccdfdacd 100644 (file)
@@ -85,6 +85,8 @@ if (PHP_HTTP != "no") {
        if (PHP_SESSION != "no") {
                ADD_EXTENSION_DEP("http", "session", true);
        }
+       // for http_build_query()
+       ADD_EXTENSION_DEP("http", "standard");
 
        CURL_LIB = PHP_DEBUG != "no" ? "libcurld.lib":"libcurl.lib";
     if (CHECK_HEADER_ADD_INCLUDE("curl/curl.h", "CFLAGS_HTTP") &&