From 671052aaa9e83ff959b5782387223f7439be41d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 4 Dec 2018 15:26:03 +0100 Subject: Delete $(ERLANG_MK_TMP) directory after 'make erlang-mk' This allows refreshing tools at the same time Erlang.mk gets updated. --- core/core.mk | 1 + 1 file changed, 1 insertion(+) (limited to 'core/core.mk') diff --git a/core/core.mk b/core/core.mk index 85bf65f..a3e68e5 100644 --- a/core/core.mk +++ b/core/core.mk @@ -209,6 +209,7 @@ endif $(gen_verbose) $(MAKE) --no-print-directory -C $(ERLANG_MK_BUILD_DIR) WITHOUT='$(strip $(WITHOUT))' UPGRADE=1 $(verbose) cp $(ERLANG_MK_BUILD_DIR)/erlang.mk ./erlang.mk $(verbose) rm -rf $(ERLANG_MK_BUILD_DIR) + $(verbose) rm -rf $(ERLANG_MK_TMP) # The erlang.mk package index is bundled in the default erlang.mk build. # Search for the string "copyright" to skip to the rest of the code. -- cgit v1.2.3