From 107c3d30c8ceedcf2adf0897d725ded98c341bbe Mon Sep 17 00:00:00 2001
From: Rene Rivera <grafikrobot@gmail.com>
Date: Tue, 31 Mar 2020 12:24:13 -0500
Subject: [PATCH] Have to disable warning in Windows header.

---
 src/engine/execnt.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/engine/execnt.cpp b/src/engine/execnt.cpp
index da21b30fb..4909fca10 100644
--- a/src/engine/execnt.cpp
+++ b/src/engine/execnt.cpp
@@ -55,7 +55,10 @@
 #include <windows.h>
 #include <process.h>
 #include <tlhelp32.h>
+#pragma warning( push )
+#pragma warning(disable: 4800) // 'BOOL' forced to 'true' or 'false'
 #include <versionhelpers.h>
+#pragma warning( pop )
 
 
 /* get the maximum shell command line length according to the OS */