diff options
Diffstat (limited to 'usr/src/lib/fm/topo/maps/Makefile.map')
| -rw-r--r-- | usr/src/lib/fm/topo/maps/Makefile.map | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/usr/src/lib/fm/topo/maps/Makefile.map b/usr/src/lib/fm/topo/maps/Makefile.map index 0ed01490ec..643595b88c 100644 --- a/usr/src/lib/fm/topo/maps/Makefile.map +++ b/usr/src/lib/fm/topo/maps/Makefile.map @@ -81,17 +81,17 @@ clean: clobber: clean $(RM) $(CLOBBERFILES) -check: $(CHECKHDRS) +check: $(CHECKHDRS) $(TOPOFILE:%=%.chk) install_h _msg: -lint: $(TOPOFILE:%=%.chk) - %.xml.chk: %.xml @echo xmllint $< @xmllint --dropdtd $< | \ xmllint --noout --dtdvalid $(DTDSRC) - +%.usbtopo.chk: %.usbtopo + $($(CLASS)_ROOTTOPOROOT)/%: % $(INS.file) |