diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
| commit | a11c6fb7f9ee084fe87bdcba32529358d9fab64e (patch) | |
| tree | 80c309fc48978fe3293a01e49dd7a7bda958ee0f /core/kerl.mk | |
| parent | 7799804277e6fd38d308ebd581d194c38cd3fbb4 (diff) | |
| download | erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.gz erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.bz2 erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.zip | |
Optimization: reduce the number of shell commands on noops
Diffstat (limited to 'core/kerl.mk')
| -rw-r--r-- | core/kerl.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/core/kerl.mk b/core/kerl.mk index b514052..c8096dd 100644 --- a/core/kerl.mk +++ b/core/kerl.mk @@ -39,8 +39,7 @@ endef $(KERL): $(KERL_DIR) -$(KERL_DIR): - $(verbose) mkdir -p $(ERLANG_MK_TMP) +$(KERL_DIR): | $(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) $(verbose) chmod +x $(KERL) |