[PATCH] Add Windows Server 2025 build number

[David Warner]

---
 winsup/utils/mingw/cygcheck.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/winsup/utils/mingw/cygcheck.cc b/winsup/utils/mingw/cygcheck.cc
index 1dde2ecba..659e8428a 100644
--- a/winsup/utils/mingw/cygcheck.cc
+++ b/winsup/utils/mingw/cygcheck.cc
@@ -1459,7 +1459,9 @@ dump_sysinfo ()
 		  else if (osversion.dwBuildNumber <= 17763)
 		    strcpy (osname, "Server 2019");
 		  else if (osversion.dwBuildNumber <= 20348)
-		    strcpy (osname, "Server 2022");
+            strcpy (osname, "Server 2022");
+          else if (osversion.dwBuildNumber <= 26100)
+            strcpy (osname, "Server 2025");
 		  else
 		    strcpy (osname, "Server 20??");
 		}
-- 
2.47.0