From 917ea9975823e14e9a590ec056cb12e650d40d7b Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 6 Nov 2019 22:18:12 +0100
Subject: [PATCH] enable system info for Windows 10, exclude function not
 existing in older SDKs

---
 src/frontend/com_sysinfo.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/frontend/com_sysinfo.c b/src/frontend/com_sysinfo.c
index 1bad409b6..2cd1c2509 100644
--- a/src/frontend/com_sysinfo.c
+++ b/src/frontend/com_sysinfo.c
@@ -25,6 +25,7 @@
 #include "windows.h"
 #include <psapi.h>
 #include <VersionHelpers.h>
+#include <ntverp.h>
 #endif
 
 #include "stdio.h"
@@ -437,7 +438,9 @@ tesCreateSystemInfo(TesSystemInfo *info)
     if (IsWindows8Point1OrGreater()) {
         strcpy(mversion, "Windows 8.1");
     }
-#if (_MSC_PLATFORM_TOOLSET > 140)
+    /* SDK has version 10 and thus IsWindows10OrGreater() */
+#if (VER_PRODUCTBUILD > 10000)
+    /* This will deliver the right OS version only if we have a manifest */
     if (IsWindows10OrGreater()) {
         strcpy(mversion, "Windows 10");
     }