diff options
Diffstat (limited to 'usr/src/Makefile.lint')
| -rw-r--r-- | usr/src/Makefile.lint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/usr/src/Makefile.lint b/usr/src/Makefile.lint index 7bfc2e94e5..cbd6d1588b 100644 --- a/usr/src/Makefile.lint +++ b/usr/src/Makefile.lint @@ -101,6 +101,7 @@ COMMON_SUBDIRS = \ cmd/devmgmt \ cmd/dfs.cmds \ cmd/diff3 \ + cmd/dis \ cmd/dirname \ cmd/diskscan \ cmd/dispadmin \ @@ -302,6 +303,7 @@ COMMON_SUBDIRS = \ lib/libdhcpdu \ lib/libdhcpsvc \ lib/libdhcputil \ + lib/libdisasm \ lib/libdiskmgt \ lib/libdladm \ lib/libdlpi \ |