diff options
| author | Andreas Krüger <[email protected]> | 2018-03-13 16:54:48 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-03-14 16:32:30 +0100 |
| commit | f361821960c95c8cf30a4468243260ef0b4e1c95 (patch) | |
| tree | 0c246b58dbd74a995fa9d4db9423ff4d5c5a18eb /core/core.mk | |
| parent | a22f31ebf0f97025d6534bfce448e85a421af1a0 (diff) | |
| download | erlang.mk-f361821960c95c8cf30a4468243260ef0b4e1c95.tar.gz erlang.mk-f361821960c95c8cf30a4468243260ef0b4e1c95.tar.bz2 erlang.mk-f361821960c95c8cf30a4468243260ef0b4e1c95.zip | |
Speed up the git clone download by using shallow downloads.
Diffstat (limited to 'core/core.mk')
| -rw-r--r-- | core/core.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/core/core.mk b/core/core.mk index 63265d3..9925856 100644 --- a/core/core.mk +++ b/core/core.mk @@ -187,9 +187,11 @@ ERLANG_MK_BUILD_DIR ?= .erlang.mk.build erlang-mk: WITHOUT ?= $(ERLANG_MK_WITHOUT) erlang-mk: - git clone $(ERLANG_MK_REPO) $(ERLANG_MK_BUILD_DIR) ifdef ERLANG_MK_COMMIT + git clone $(ERLANG_MK_REPO) $(ERLANG_MK_BUILD_DIR) cd $(ERLANG_MK_BUILD_DIR) && git checkout $(ERLANG_MK_COMMIT) +else + git clone --depth 1 $(ERLANG_MK_REPO) $(ERLANG_MK_BUILD_DIR) endif if [ -f $(ERLANG_MK_BUILD_CONFIG) ]; then cp $(ERLANG_MK_BUILD_CONFIG) $(ERLANG_MK_BUILD_DIR)/build.config; fi $(MAKE) -C $(ERLANG_MK_BUILD_DIR) WITHOUT='$(strip $(WITHOUT))' |