diff options
Diffstat (limited to 'win32/build/config.w32')
| -rw-r--r-- | win32/build/config.w32 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index c727cf8081..188c1dc9e2 100644 --- a/win32/build/config.w32 +++ b/win32/build/config.w32 @@ -303,3 +303,10 @@ ARG_WITH("all-shared", "Force all the non obligatory extensions to be shared", " // // Note, nice as a name is disallowed and will generate a warning and skip saving ARG_WITH('config-profile', 'Name of the configuration profile to save this to in php-src/config.name.bat', 'no'); + +ARG_ENABLE("test-ini", "Enable automatic php.ini generation. The test.ini will be put \ + into the build dir and used to automatically load the shared extensions.", "yes"); + +ARG_WITH("test-ini-ext-exclude", "Comma separated list of shared extensions to \ + be excluded from the test.ini", "no"); + |