From d96205681b07ffc5fb9fbf020ab76c7280df0917 Mon Sep 17 00:00:00 2001
From: boost-commitbot <boost-commitbot@example.com>
Date: Tue, 23 Dec 2025 02:37:56 +0000
Subject: [PATCH] Update build from master

---
 tools/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build b/tools/build
index be69c44857..85252c9d6a 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit be69c44857e34fae250aa1321808a05c1d88bfde
+Subproject commit 85252c9d6a3817daca23ddae94ce16c7be4d2c12