diff options
Diffstat (limited to 'usr/src/tools/onbld/Checks/ManLint.py')
-rw-r--r-- | usr/src/tools/onbld/Checks/ManLint.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/src/tools/onbld/Checks/ManLint.py b/usr/src/tools/onbld/Checks/ManLint.py index 50e907e81e..41eb979682 100644 --- a/usr/src/tools/onbld/Checks/ManLint.py +++ b/usr/src/tools/onbld/Checks/ManLint.py @@ -42,6 +42,7 @@ def manlint(fh, filename=None, output=sys.stderr, **opts): options = [opttrans[x] for x in opts if opts[x] and opttrans[x]] options.append('-Tlint') + options.append('-Wwarning') if not filename: filename = fh.name |