diff options
| -rw-r--r-- | win32/build/config.w32 | 3 | ||||
| -rw-r--r-- | win32/build/config.w32.phpize.in | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index 6b06cfead0..0c361bef5e 100644 --- a/win32/build/config.w32 +++ b/win32/build/config.w32 @@ -14,6 +14,9 @@ toolset_setup_compiler(); // do we use x64 or 80x86 version of compiler? X64 = toolset_is_64(); +if (!X64) { + ERROR("64-bit compiler required"); +} toolset_setup_arch(); toolset_setup_linker(); diff --git a/win32/build/config.w32.phpize.in b/win32/build/config.w32.phpize.in index d68a21fc6e..32b8f82641 100644 --- a/win32/build/config.w32.phpize.in +++ b/win32/build/config.w32.phpize.in @@ -14,6 +14,9 @@ toolset_setup_compiler(); // do we use x64 or 80x86 version of compiler?
X64 = toolset_is_64();
+if (!X64) {
+ ERROR("64-bit compiler required");
+}
toolset_setup_arch();
toolset_setup_linker();
|