diff options
Diffstat (limited to 'plugins')
| -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 |