From 4060e9831e38a92700f9b7f5fc089c52ac1aeabf Mon Sep 17 00:00:00 2001
From: Dengke Tang <dengket@amazon.com>
Date: Fri, 4 Nov 2022 10:40:12 -0700
Subject: [PATCH] what's that?

---
 win_build.bat | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/win_build.bat b/win_build.bat
index db82bfc..538b2d7 100644
--- a/win_build.bat
+++ b/win_build.bat
@@ -2,4 +2,7 @@
 
 git clone https://github.com/Microsoft/php-sdk-binary-tools.git php-sdk
 cd ./php-sdk
+
+vswhere -nologo -version !PHP_SDK_VS_RANGE! -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath -format text
+
 ./phpsdk-vc15-x64.bat
\ No newline at end of file