From 81d670bb1c6f78a75eb15831dc7bdfb2a8f0ec15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Mon, 22 Nov 2021 15:22:16 +0100
Subject: [PATCH] Remove last change

---
 VCI/VCICompiler.cmake | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/VCI/VCICompiler.cmake b/VCI/VCICompiler.cmake
index a725d3f..eca35d8 100755
--- a/VCI/VCICompiler.cmake
+++ b/VCI/VCICompiler.cmake
@@ -20,10 +20,6 @@ if ( WIN32 )
 	  list(APPEND ADDITIONAL_CMAKE_SHARED_LINKER_FLAGS    "/LARGEADDRESSAWARE" )
 	  list(APPEND ADDITIONAL_CMAKE_MODULE_LINKER_FLAGS    "/LARGEADDRESSAWARE" )
     endif()  
-       
-    if (MINGW)
-       list(APPEND ADDITIONAL_CXX_FLAGS       "-Wa,-mbig-obj" )
-    endif()	
   endif()
   
   
-- 
GitLab