diff --git a/Makefile b/Makefile
index 4af389258ed5..c9ff3b854d10 100644
--- a/Makefile
+++ b/Makefile
@@ -486,9 +486,9 @@ findunusedcode:
               | grep -v ^WPS \
               > unusedcode.easy
 
-check: subsequentcheck
+check: dev-install subsequentcheck
 
-subsequentcheck: dev-install
+subsequentcheck :| $(if $(filter-out subsequentcheck,$(MAKECMDGOALS)),dev-install)
 	$(GNUMAKE) -j $(GMAKE_PARALLELISM) $(GMAKE_OPTIONS) -f Makefile.post $@
 
 debugrun: