diff options
author | Jean-Sébastien Pédron <[email protected]> | 2015-09-08 11:02:34 +0200 |
---|---|---|
committer | Jean-Sébastien Pédron <[email protected]> | 2015-09-09 12:14:13 +0200 |
commit | c20251fa40ce7dc59d1d7f875f2867ea410ebbc1 (patch) | |
tree | 96d9e3173bfd4332ff9066887b2f29e7214cc740 /core/core.mk | |
parent | b9c0bd643746ddd3424a91f6dd3cb6ad299cd342 (diff) | |
download | erlang.mk-c20251fa40ce7dc59d1d7f875f2867ea410ebbc1.tar.gz erlang.mk-c20251fa40ce7dc59d1d7f875f2867ea410ebbc1.tar.bz2 erlang.mk-c20251fa40ce7dc59d1d7f875f2867ea410ebbc1.zip |
core.mk: Allow to take erlang.mk from an alternate Git repository
Diffstat (limited to 'core/core.mk')
-rw-r--r-- | core/core.mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/core/core.mk b/core/core.mk index f5ada0b..a41a240 100644 --- a/core/core.mk +++ b/core/core.mk @@ -173,13 +173,15 @@ core_ls = $(filter-out $(1),$(shell echo $(1))) # Automated update. +ERLANG_MK_REPO ?= https://github.com/ninenines/erlang.mk +ERLANG_MK_COMMIT ?= ERLANG_MK_BUILD_CONFIG ?= build.config ERLANG_MK_BUILD_DIR ?= .erlang.mk.build erlang-mk: - git clone https://github.com/ninenines/erlang.mk $(ERLANG_MK_BUILD_DIR) + git clone $(ERLANG_MK_REPO) $(ERLANG_MK_BUILD_DIR) if [ -f $(ERLANG_MK_BUILD_CONFIG) ]; then cp $(ERLANG_MK_BUILD_CONFIG) $(ERLANG_MK_BUILD_DIR)/build.config; fi - cd $(ERLANG_MK_BUILD_DIR) && $(MAKE) + cd $(ERLANG_MK_BUILD_DIR) && $(if $(ERLANG_MK_COMMIT),git checkout $(ERLANG_MK_COMMIT) &&) $(MAKE) cp $(ERLANG_MK_BUILD_DIR)/erlang.mk ./erlang.mk rm -rf $(ERLANG_MK_BUILD_DIR) |