diff options
Diffstat (limited to 'antimicro.patch')
| -rw-r--r-- | antimicro.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/antimicro.patch b/antimicro.patch new file mode 100644 index 000000000000..8461a3fff1be --- /dev/null +++ b/antimicro.patch @@ -0,0 +1,12 @@ +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() |