diff options
author | Loïc Hoguin <[email protected]> | 2018-05-22 17:48:34 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-05-22 17:48:34 +0200 |
commit | 15ed6df51a45304096329711589e58b1b3e026a7 (patch) | |
tree | 0d25dbc723960df3c18862f3ba9c714bb40cdd2d | |
parent | 633aa89f0086ccb82dce6635d10f604e170464af (diff) | |
download | cowboy-15ed6df51a45304096329711589e58b1b3e026a7.tar.gz cowboy-15ed6df51a45304096329711589e58b1b3e026a7.tar.bz2 cowboy-15ed6df51a45304096329711589e58b1b3e026a7.zip |
Update Erlang.mk
Includes an experimental change to avoid deleting kerl
unnecessarily and/or incorrectly.
-rw-r--r-- | erlang.mk | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -17,7 +17,7 @@ ERLANG_MK_FILENAME := $(realpath $(lastword $(MAKEFILE_LIST))) export ERLANG_MK_FILENAME -ERLANG_MK_VERSION = 9fff0a1 +ERLANG_MK_VERSION = 2018.05.15-1-g9fff0a1-dirty ERLANG_MK_WITHOUT = # Make 3.81 and 3.82 are deprecated. @@ -216,6 +216,8 @@ ifeq ($(strip $(KERL)),) KERL := $(ERLANG_MK_TMP)/kerl/kerl endif +KERL_DIR = $(ERLANG_MK_TMP)/kerl + export KERL KERL_GIT ?= https://github.com/kerl/kerl @@ -242,7 +244,9 @@ $(KERL_INSTALL_DIR)/$1-native: $(KERL) endif endef -$(KERL): +$(KERL): $(KERL_DIR) + +$(KERL_DIR): $(verbose) mkdir -p $(ERLANG_MK_TMP) $(gen_verbose) git clone --depth 1 $(KERL_GIT) $(ERLANG_MK_TMP)/kerl $(verbose) cd $(ERLANG_MK_TMP)/kerl && git checkout $(KERL_COMMIT) @@ -251,7 +255,7 @@ $(KERL): distclean:: distclean-kerl distclean-kerl: - $(gen_verbose) rm -rf $(KERL) + $(gen_verbose) rm -rf $(KERL_DIR) # Allow users to select which version of Erlang/OTP to use for a project. |