diff options
Diffstat (limited to 'config/gnu-warnings/no-developer-general')
| -rw-r--r-- | config/gnu-warnings/no-developer-general | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/config/gnu-warnings/no-developer-general b/config/gnu-warnings/no-developer-general index 18831dd..85dc0a3 100644 --- a/config/gnu-warnings/no-developer-general +++ b/config/gnu-warnings/no-developer-general @@ -2,7 +2,3 @@ -Wno-inline -Wno-missing-format-attribute -Wno-missing-noreturn -# NOTE: -pedantic includes -Woverlength-strings which triggers a warning -# regarding the library settings string (H5libhdf5_settings). We'll turn -# it off here but leave it on in the developer flags. --Wno-overlength-strings |