Ignore regression tests marked winbug on windows make builds.

This includes tests under:
  * regression/cpp
  * regression/cbmc-cpp
  * regression/systemc

Author: NlightNFotis

regression/cbmc-cpp/Makefile

@@ -4,7 +4,7 @@ include ../../src/config.inc
 include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
-	excluded_tests = -X gcc-only
+	excluded_tests = -X gcc-only -X winbug
 else
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the

regression/cpp/Makefile

@@ -10,7 +10,7 @@ else
 endif
 
 ifeq ($(BUILD_ENV_),MSVC)
-	excluded_tests = -X gcc-only
+	excluded_tests = -X gcc-only -X winbug
 else
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the

regression/systemc/Makefile

@@ -1,4 +1,17 @@
-ifneq ($(BUILD_ENV_),MSVC)
+default: tests.log
+
+include ../../src/config.inc
+include ../../src/common
+
+ifeq ($(BUILD_ENV_),MSVC)
+	exe = ../../../src/goto-cc/goto-cl
+else
+	exe = ../../../src/goto-cc/goto-cc
+endif
+
+ifeq ($(BUILD_ENV_),MSVC)
+	excluded_tests = -X gcc-only -X winbug
+else
 	# In MacOS, a change in the assert.h header file
 	# is causing template errors when exercising the
 	# C++ front end (because of a transitive include