diff options
Diffstat (limited to 'usr/src/Makefile.lint')
| -rw-r--r-- | usr/src/Makefile.lint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/src/Makefile.lint b/usr/src/Makefile.lint index 95d7251dd1..cd4f2cdcb6 100644 --- a/usr/src/Makefile.lint +++ b/usr/src/Makefile.lint @@ -332,6 +332,7 @@ COMMON_SUBDIRS = \ lib/libipmp \ lib/libipp \ lib/libipsecutil \ + lib/libkmf \ lib/libkstat \ lib/liblaadm \ lib/liblgrp \ |