diff options
Diffstat (limited to '')
| -rw-r--r-- | external/coinmp/werror-format-pedantic.patch.0 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/external/coinmp/werror-format-pedantic.patch.0 b/external/coinmp/werror-format-pedantic.patch.0 new file mode 100644 index 000000000..a604c4354 --- /dev/null +++ b/external/coinmp/werror-format-pedantic.patch.0 @@ -0,0 +1,10 @@ +--- Cbc/configure ++++ Cbc/configure +@@ -3780,7 +3780,6 @@ + *-darwin*) + ;; + *) +- coin_warn_cxxflags="-pedantic-errors $coin_warn_cxxflags" + ;; + esac + esac |