diff options
Diffstat (limited to 'win32/build/config.w32')
| -rw-r--r-- | win32/build/config.w32 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index f00584eaa9..358ff4e0ce 100644 --- a/win32/build/config.w32 +++ b/win32/build/config.w32 @@ -167,13 +167,16 @@ if (VCVERS >= 1400) { } ARG_WITH('mp', 'Tell Visual Studio use up to [n,auto,disable] processes for compilation', 'auto'); +var PHP_MP_DISABLED = true; if (VCVERS >= 1500 && PHP_MP != 'disable') { // no from disable-all if(PHP_MP == 'auto' || PHP_MP == 'no') { ADD_FLAG('CFLAGS', ' /MP '); + PHP_MP_DISABLED = false; } else { if(parseInt(PHP_MP) != 0) { ADD_FLAG('CFLAGS', ' /MP'+ PHP_MP +' '); + PHP_MP_DISABLED = false; } else { STDOUT.WriteLine('WARNING: Invalid argument for MP: ' + PHP_MP); } |