diff options
Diffstat (limited to 'antimicro.patch')
-rw-r--r-- | antimicro.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/antimicro.patch b/antimicro.patch deleted file mode 100644 index 8461a3fff1be..000000000000 --- a/antimicro.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -Naur a/CMakeLists.txt b/CMakeLists.txt ---- a/CMakeLists.txt 2018-06-15 12:14:52.000000000 -0500 -+++ b/CMakeLists.txt 2018-10-04 13:00:34.093959019 -0500 -@@ -45,7 +45,7 @@ - - if(COMPILER_SUPPORTS_CXX11) - if (NOT WIN32) -- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fvisibility=hidden -fvisibility-inlines-hidden -Werror -Wall -Wextra -Wno-unused-parameter -Wunused-function -Wunused-label -Wunused-value -Wunused-variable -Wunused-but-set-parameter -pedantic -Wno-reorder -std=c++11") -+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fvisibility=hidden -fvisibility-inlines-hidden -Wall -Wextra -Wno-unused-parameter -Wunused-function -Wunused-label -Wunused-value -Wunused-variable -Wunused-but-set-parameter -pedantic -Wno-reorder -std=c++11") - else() - set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11") - endif() |