diff --git a/Makefile b/Makefile index 94c7654a0d..06ff7c09a1 100644 --- a/Makefile +++ b/Makefile @@ -1369,7 +1369,11 @@ clean_test: ## clean_ : clean up one specific target $(CLEAN_TARGETS) : - $(V0) $(MAKE) -j TARGET=$(subst clean_,,$@) clean + $(V0) $(if $(findstring $(subst clean_,,$@),$(SKIP_TARGETS)), \ + @echo "" && \ + echo "Not cleaning $(subst clean_,,$@) since it is listed in SKIP_TARGETS.", \ + @echo "" && \ + $(V0) $(MAKE) -j TARGET=$(subst clean_,,$@) clean) ## _clean : clean up one specific target (alias for above) $(TARGETS_CLEAN) :