diff options
| author | van Hauser <vh@thc.org> | 2021-11-03 21:55:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-03 21:55:21 +0100 |
| commit | f5535e348d37460daa4c6ea43063b451aa83d9cc (patch) | |
| tree | 2339a99aa53f604cbe77b0dc88882f29ec9a6bf6 /utils/optimin/src | |
| parent | 25c947cd5ae93cb865081f9259255b4fdb3ca3ba (diff) | |
| parent | 9278f27d749bcf0852ba2629caa319375c9a60e4 (diff) | |
| download | afl++-f5535e348d37460daa4c6ea43063b451aa83d9cc.tar.gz | |
Merge pull request #1142 from AFLplusplus/dev
Dev
Diffstat (limited to 'utils/optimin/src')
| -rw-r--r-- | utils/optimin/src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/optimin/src/CMakeLists.txt b/utils/optimin/src/CMakeLists.txt index f31ceeaf..693f63f2 100644 --- a/utils/optimin/src/CMakeLists.txt +++ b/utils/optimin/src/CMakeLists.txt @@ -1,4 +1,5 @@ add_executable(optimin OptiMin.cpp) +set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti") foreach(LIB MaLib EvalMaxSAT glucose) target_include_directories(optimin PRIVATE |