diff --git a/make/std-tools.mk b/make/std-tools.mk index 75df0787..610b420f 100644 --- a/make/std-tools.mk +++ b/make/std-tools.mk @@ -4,7 +4,7 @@ PROFILE_SH = profile-$(PROJECT).sh all: $(PROFILE_SH) clean: clean.std-tools -install: install.std-tools +install: $(PROFILE_SH) install.std-tools distclean: clean $(PROFILE_SH): Makefile