diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 2b4515df..c1221aad 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -273,7 +273,7 @@ clean-all-dirs: make clean-dirs purge: $(SSH_WRAPPER_SH) -ifneq ($(wildcard CVS),) +ifneq ($(PURGE_SH),/bin/bash purge-not-found) $(PURGE_SH) endif