diff options
author | Loïc Hoguin <[email protected]> | 2018-11-29 13:11:05 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-11-29 13:24:34 +0100 |
commit | 2d35cb644d973f81af09c6f8d342e4838a548f7b (patch) | |
tree | f01f2a0d9db921d0cfb15d8091c6754b6021378c /plugins/ci.mk | |
parent | f943ca241be408177be5d0cfae9815dc87ecffb9 (diff) | |
download | erlang.mk-2d35cb644d973f81af09c6f8d342e4838a548f7b.tar.gz erlang.mk-2d35cb644d973f81af09c6f8d342e4838a548f7b.tar.bz2 erlang.mk-2d35cb644d973f81af09c6f8d342e4838a548f7b.zip |
Rebuild the env.mk file when the Erlang/OTP has changed
We also rebuild the C code since C code tends to not stay
compatible between different Erlang versions.
Based on a patch by Slava Yurin.
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 0881d49..52cf8f3 100644 --- a/plugins/ci.mk +++ b/plugins/ci.mk @@ -32,7 +32,7 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$1: $(KERL_INSTALL_DIR)/$2 - $(verbose) $(MAKE) --no-print-directory clean distclean-c_src-env + $(verbose) $(MAKE) --no-print-directory clean $(ci_verbose) \ PATH="$(KERL_INSTALL_DIR)/$2/bin:$(PATH)" \ CI_OTP_RELEASE="$1" \ |