From 2cbb888b1b380a8f9ee1c94415cc7cf228a72f9c Mon Sep 17 00:00:00 2001
From: Dengke Tang <dengket@amazon.com>
Date: Tue, 8 Nov 2022 12:00:26 -0800
Subject: [PATCH] checkout

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

diff --git a/win_build.bat b/win_build.bat
index a32cb83..c1aba7d 100644
--- a/win_build.bat
+++ b/win_build.bat
@@ -7,6 +7,8 @@ call phpsdk_buildtree php-8.0
 
 git clone https://github.com/php/php-src.git && cd php-src
 
+git checkout php-8.0.25
+
 call phpsdk_deps --update --branch 8.0
 
 if (%SOURCE_DIR%)==() (git clone --recursive https://github.com/awslabs/aws-crt-php.git ..\pecl\awscrt) else (robocopy %SOURCE_DIR% ..\pecl\awscrt /E /NFL /NDL /NJH /NJS /nc /ns /np)