aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/system_win32.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/system_win32.c b/lib/system_win32.c
index d6a998b27..effc3f2bc 100644
--- a/lib/system_win32.c
+++ b/lib/system_win32.c
@@ -128,7 +128,7 @@ bool Curl_verify_windows_version(const unsigned int majorVersion,
}
/* Verify the platform identifier (if necessary) */
- if(matched && platform != PLATFORM_DONT_CARE) {
+ if(matched) {
switch(platform) {
case PLATFORM_WINDOWS:
if(osver.dwPlatformId != VER_PLATFORM_WIN32_WINDOWS)
@@ -138,6 +138,9 @@ bool Curl_verify_windows_version(const unsigned int majorVersion,
case PLATFORM_WINNT:
if(osver.dwPlatformId != VER_PLATFORM_WIN32_NT)
matched = FALSE;
+
+ default: /* like platform == PLATFORM_DONT_CARE */
+ break;
}
}
}