diff options
Diffstat (limited to 'usr/src/Makefile')
| -rw-r--r-- | usr/src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/usr/src/Makefile b/usr/src/Makefile index ce8962609a..ef6381a828 100644 --- a/usr/src/Makefile +++ b/usr/src/Makefile @@ -60,7 +60,7 @@ CHKHDRSUBDIRS= head uts lib # # Headers that can be built in parallel # -PARALLEL_HEADERS = sysheaders userheaders libheaders ucbheaders cmdheaders +PARALLEL_HEADERS = userheaders libheaders ucbheaders cmdheaders # # Directories that can be built in parallel @@ -212,7 +212,7 @@ $(ROOTDIRS) $(MSGDIRS): userheaders: FRC @cd head; pwd; $(MAKE) install_h -libheaders: bldtools +libheaders: bldtools sysheaders @cd lib; pwd; $(MAKE) install_h sysheaders: FRC |