Merge pull request #5048 from Jackie9527/deprecated-copy-with-user-provided-dtor

Remove unused -Wno-deprecated-copy-with-user-provided-dtor.
pull/5049/head^2
Kim Kulling 2023-04-26 09:31:00 +02:00 committed by GitHub
commit ee6e05bb86
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -1240,7 +1240,6 @@ IF (ASSIMP_WARNINGS_AS_ERRORS)
-Wno-nonportable-system-include-path -Wno-nonportable-system-include-path
-Wno-undefined-reinterpret-cast -Wno-undefined-reinterpret-cast
-Wno-shift-sign-overflow -Wno-shift-sign-overflow
-Wno-deprecated-copy-with-user-provided-dtor
-Wno-deprecated-copy-with-dtor -Wno-deprecated-copy-with-dtor
-Wno-deprecated -Wno-deprecated
-Wno-format-nonliteral -Wno-format-nonliteral