diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-04 15:26:03 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-04 15:27:38 +0100 |
| commit | 671052aaa9e83ff959b5782387223f7439be41d4 (patch) | |
| tree | bac2b515aa928ed2b7f64e4aad491c7b5f2deee3 /core/core.mk | |
| parent | c63d7be6f71a97f02ba62f78fec55afe8754fd8a (diff) | |
| download | erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.tar.gz erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.tar.bz2 erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.zip | |
Delete $(ERLANG_MK_TMP) directory after 'make erlang-mk'
This allows refreshing tools at the same time Erlang.mk
gets updated.
Diffstat (limited to 'core/core.mk')
| -rw-r--r-- | core/core.mk | 1 |
1 files changed, 1 insertions, 0 deletions
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. |