diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/Warnings.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index eadb60016e..0f00b51ff4 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -31,11 +31,21 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-Wwarn" } + , flag { flagName = "-Werror=<wflag>" + , flagDescription = "make a specific warning fatal" + , flagType = DynamicFlag + , flagReverse = "-Wwarn=<wflag>" + } , flag { flagName = "-Wwarn" , flagDescription = "make warnings non-fatal" , flagType = DynamicFlag , flagReverse = "-Werror" } + , flag { flagName = "-Wwarn=<wflag>" + , flagDescription = "make a specific warning non-fatal" + , flagType = DynamicFlag + , flagReverse = "-Werror=<wflag>" + } , flag { flagName = "-Wunrecognised-warning-flags" , flagDescription = "throw a warning when an unreconised ``-W...`` flag is "++ |