From 59fe04fde55d6af2e0f4aa7eb7a11d6dbe655d56 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Wed, 11 Aug 2021 08:22:54 -0400 Subject: [PATCH] make clean external stdlib clones (#41861) --- stdlib/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/stdlib/Makefile b/stdlib/Makefile index 38c8c45ac8975..e782d92eab2b9 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -73,7 +73,11 @@ getall get: $(addprefix get-, $(STDLIBS_EXT) $(JLL_NAMES)) install: version-check $(addprefix install-, $(STDLIBS_EXT) $(JLL_NAMES)) $(STDLIBS_LINK_TARGETS) version-check: $(addprefix version-check-, $(STDLIBS_EXT)) uninstall: $(addprefix uninstall-, $(STDLIBS_EXT)) -clean: $(addprefix clean-, $(STDLIBS_EXT)) $(CLEAN_TARGETS) +extstdlibclean: + for module in $(STDLIBS_EXT) ; do \ + rm -rf $(JULIAHOME)/stdlib/$${module}-*; \ + done +clean: $(addprefix clean-, $(STDLIBS_EXT)) $(CLEAN_TARGETS) extstdlibclean distclean: $(addprefix distclean-, $(STDLIBS_EXT)) clean checksumall: $(addprefix checksum-, $(STDLIBS_EXT))