diff options
Diffstat (limited to 'config/gnu-warnings/developer-4.7')
| -rw-r--r-- | config/gnu-warnings/developer-4.7 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/gnu-warnings/developer-4.7 b/config/gnu-warnings/developer-4.7 deleted file mode 100644 index a3b0781..0000000 --- a/config/gnu-warnings/developer-4.7 +++ /dev/null @@ -1,7 +0,0 @@ --Wsuggest-attribute=noreturn --Wsuggest-attribute=pure -# -# It's not clear that -Wvector-operation-performance warnings are -# actionable, so they are demoted to "developer" warnings. -# --Wvector-operation-performance |