changeset 5751 | 30cf2c0cfebc |
parent 5747 | 4441137c3e4a |
child 6609 | 489da5c0d3c5 |
--- a/make-rules/ips.mk Mon Apr 11 12:50:17 2016 -0700 +++ b/make-rules/ips.mk Tue Apr 12 10:19:23 2016 -0700 @@ -39,13 +39,6 @@ PKGDEPEND = /usr/bin/pkgdepend PKGFMT = /usr/bin/pkgfmt -PKGMOGRIFY = /usr/bin/pkgmogrify -PKGSEND = /usr/bin/pkgsend -ifeq ($(strip $(PKGLINT_COMPONENT)),) -PKGLINT = /usr/bin/pkglint -else -PKGLINT = ${WS_TOOLS}/pkglint -endif PKGMANGLE = $(WS_TOOLS)/userland-mangler GENERATE_HISTORY= $(WS_TOOLS)/generate-history