From 3be2491232d57e2bbf6f2dfa954d06a6626b122d Mon Sep 17 00:00:00 2001 From: twinaphex Date: Mon, 2 May 2016 03:16:46 +0200 Subject: [PATCH] (Windows 10) Windows 10 should be major number 10 --- frontend/drivers/platform_win32.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/frontend/drivers/platform_win32.c b/frontend/drivers/platform_win32.c index d93f0db471..8c440eedd1 100644 --- a/frontend/drivers/platform_win32.c +++ b/frontend/drivers/platform_win32.c @@ -111,6 +111,9 @@ static void frontend_win32_get_os(char *s, size_t len, int *major, int *minor) switch (*major) { + case 10: + strlcpy(s, "Windows 10", len); + break; case 6: switch (*minor) {