diff options
| -rw-r--r-- | patches/collada-dom-v2.3-r7.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/patches/collada-dom-v2.3-r7.patch b/patches/collada-dom-v2.3-r7.patch index dc603d8af4..f80a42580e 100644 --- a/patches/collada-dom-v2.3-r7.patch +++ b/patches/collada-dom-v2.3-r7.patch @@ -57,7 +57,7 @@ index 17fbaea..93b8256 100644 -add_library(collada14dom SHARED ${COLLADA_BASE_SOURCES} ${dom_files}) +add_library(collada14dom STATIC ${COLLADA_BASE_SOURCES} ${dom_files}) +target_compile_options(collada14dom PRIVATE -+ "-Wno-error=unused-result" "-Wno-cast-user-defined" ++ "-Wno-error=unused-result" "-Wno-cast-user-defined" "-Wno-nonnull" +) +target_include_directories(collada14dom PRIVATE + ${colladadom_SOURCE_DIR}/include |