diff options
Diffstat (limited to 'config/intel-warnings-general')
| -rw-r--r-- | config/intel-warnings-general | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/intel-warnings-general b/config/intel-warnings-general index f4ed24c..d0b2e25 100644 --- a/config/intel-warnings-general +++ b/config/intel-warnings-general @@ -1,10 +1,2 @@ -# Note that some of the flags listed here really should be developer -# flags (listed in separate files, gnu-warnings-developer*) but we put -# them here because they are not raised by the current code and we'd like to -# know if they do start showing up. -# -# NOTE: Don't add -Wpadded here since we can't/won't fix the (many) -# warnings that are emitted. If you need it, add it from the -# environment variable at configure time. -Wall -Wcheck
\ No newline at end of file |