diff options
Diffstat (limited to 'share/mk/dist/check/_.mk')
| -rw-r--r-- | share/mk/dist/check/_.mk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/share/mk/dist/check/_.mk b/share/mk/dist/check/_.mk index 7c6267625..d0a3b5df9 100644 --- a/share/mk/dist/check/_.mk +++ b/share/mk/dist/check/_.mk @@ -33,8 +33,11 @@ distcheck-%: $(_DISTCHECKSRCDIR) $(MK) | $$(@D)/ .PHONY: distcheck distcheck: distcheck-diffoscope distcheck: $(_DISTCHECKSRCDIR) $(MK) - $(info $(INFO_)MAKE lint build check install dist) - $(MAKE) $(_MAKE_OPTS) lint build check install dist \ + $(info $(INFO_)MAKE lint build install dist) + $(MAKE) $(_MAKE_OPTS) lint build install dist \ + 'INFO_= distcheck: ' + $(info $(INFO_)MAKE check) + $(MAKE) $(_MAKE_OPTS) check \ 'INFO_= distcheck: ' |