diff options
Diffstat (limited to 'usr/src/uts/intel/sys/Makefile')
| -rw-r--r-- | usr/src/uts/intel/sys/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/usr/src/uts/intel/sys/Makefile b/usr/src/uts/intel/sys/Makefile index 5cfbdec4fc..0a6af2de2d 100644 --- a/usr/src/uts/intel/sys/Makefile +++ b/usr/src/uts/intel/sys/Makefile @@ -91,6 +91,12 @@ HDRS = \ x86_archext.h \ xen_errno.h + +# Headers shared with the various machine architectures are installed via +# different means, but are checked here, since it is a common point. +include Makefile.psm +CHECK_ONLY_HDRS = $(PSM_SHARED_HDRS) + ROOTDIR= $(ROOT)/usr/include/sys SCSIDIR= $(ROOTDIR)/scsi SCSIDIRS= $(SCSIDIR) $(SCSIDIR)/conf $(SCSIDIR)/generic \ @@ -100,8 +106,9 @@ ROOTDIRS= $(ROOTDIR) $(ROOTFSDIR) ROOTHDRS= $(HDRS:%=$(ROOTDIR)/%) -CHECKHDRS= \ - $(HDRS:%.h=%.check) +CHECKHDRS = \ + $(HDRS:%.h=%.check) \ + $(CHECK_ONLY_HDRS:%.h=%.check) \ # install rules $(ROOTDIR)/%: % |