diff options
| author | John Levon <john.levon@joyent.com> | 2018-12-15 15:13:09 +0000 |
|---|---|---|
| committer | Dan McDonald <danmcd@joyent.com> | 2019-01-05 15:34:06 -0500 |
| commit | 1f5207b7604fb44407eb4342aff613f7c4508508 (patch) | |
| tree | 3a32aff9ba245a7de5fb9c384659480740adcda8 /exception_lists/manlint | |
| parent | c0455f334914631f42eb41177d677e2820ee6506 (diff) | |
| download | illumos-joyent-1f5207b7604fb44407eb4342aff613f7c4508508.tar.gz | |
10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'exception_lists/manlint')
| -rw-r--r-- | exception_lists/manlint | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/exception_lists/manlint b/exception_lists/manlint index 0d4ea0f464..1726989d76 100644 --- a/exception_lists/manlint +++ b/exception_lists/manlint @@ -10,7 +10,7 @@ # # # Copyright 2016 Toomas Soome <tsoome@me.com> -# Copyright (c) 2018, Joyent, Inc. +# Copyright (c) 2019, Joyent, Inc. # usr/src/boot/* # Not actually a manual page @@ -24,3 +24,4 @@ usr/src/lib/libbsm/adt_record.dtd.1 usr/src/lib/libbsm/adt_record.xsl.1 usr/src/lib/libpool/dtd/rm_pool.dtd.1 usr/src/lib/libzonecfg/dtd/zonecfg.dtd.1 +usr/src/tools/smatch/src/* |