diff options
| author | Loïc Hoguin <[email protected]> | 2024-11-15 16:27:00 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2024-11-19 15:34:48 +0100 |
| commit | a5f32341d923d6c0bee6efba2f156558c994ff56 (patch) | |
| tree | df433f37d413b10c835e49849119b49eaa59299c /core | |
| parent | 8312df799e3e501b14e8736d19c2d238b7bd8507 (diff) | |
| download | erlang.mk-a5f32341d923d6c0bee6efba2f156558c994ff56.tar.gz erlang.mk-a5f32341d923d6c0bee6efba2f156558c994ff56.tar.bz2 erlang.mk-a5f32341d923d6c0bee6efba2f156558c994ff56.zip | |
CI: Also test with CACHE_DEPS=1
Diffstat (limited to 'core')
| -rw-r--r-- | core/deps.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/core/deps.mk b/core/deps.mk index c78146e..b522945 100644 --- a/core/deps.mk +++ b/core/deps.mk @@ -726,7 +726,8 @@ define dep_cache_fetch_git else \ git clone -q -n -- $(call dep_repo,$1) $(join $(CACHE_DIR)/git/,$(call dep_name,$1)); \ fi; \ - git clone -q --branch $(call dep_commit,$1) --single-branch -- $(join $(CACHE_DIR)/git/,$(call dep_name,$1)) $2 + git clone -q --single-branch -- $(join $(CACHE_DIR)/git/,$(call dep_name,$1)) $2; \ + cd $2 && git checkout -q $(call dep_commit,$1) endef define dep_fetch_git |