diff options
Diffstat (limited to 'docs/release/scripts/src/3rdparty.lua')
-rw-r--r-- | docs/release/scripts/src/3rdparty.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/release/scripts/src/3rdparty.lua b/docs/release/scripts/src/3rdparty.lua index 78d73248623..8d43705345a 100644 --- a/docs/release/scripts/src/3rdparty.lua +++ b/docs/release/scripts/src/3rdparty.lua @@ -1390,6 +1390,7 @@ end "-Wno-unknown-attributes", "-Wno-missing-braces", "-Wno-int-to-pointer-cast", + "-Wno-ignored-attributes", -- many instances in ImGui } end end |