diff options
| author | Loïc Hoguin <[email protected]> | 2016-10-25 20:27:06 +0300 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2016-10-25 20:27:06 +0300 |
| commit | 2a8d20376fd601c0c159d763513208690cebc76f (patch) | |
| tree | 0dc998351ab9da6b11d189d8fcb17b5c4686e426 /plugins/ci.mk | |
| parent | ce741ddc9ce7e25869ffce512cf74fbe5d8dc339 (diff) | |
| download | erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.tar.gz erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.tar.bz2 erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.zip | |
Use the ERLANG_MK_TMP variable in plugins/ci.mk
Diffstat (limited to 'plugins/ci.mk')
| -rw-r--r-- | plugins/ci.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ci.mk b/plugins/ci.mk index cdd642f..a06233d 100644 --- a/plugins/ci.mk +++ b/plugins/ci.mk @@ -10,7 +10,7 @@ ci:: else ifeq ($(strip $(KERL)),) -KERL := $(CURDIR)/.erlang.mk/kerl/kerl +KERL := $(ERLANG_MK_TMP)/kerl/kerl endif export KERL |