diff options
author | Loïc Hoguin <[email protected]> | 2017-11-01 00:40:43 +0000 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2017-11-01 00:40:43 +0000 |
commit | c510f28cc0526899a6c6d8a6e9cdbdca432ff490 (patch) | |
tree | ca812af48c513447bf2f19435eabb17d079b2481 | |
parent | 61821cee0e8272430c003cb2393244a836754b1a (diff) | |
download | cowlib-c510f28cc0526899a6c6d8a6e9cdbdca432ff490.tar.gz cowlib-c510f28cc0526899a6c6d8a6e9cdbdca432ff490.tar.bz2 cowlib-c510f28cc0526899a6c6d8a6e9cdbdca432ff490.zip |
Update CI versions
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ endif LOCAL_DEPS = crypto DIALYZER_OPTS = -Werror_handling -Wunmatched_returns -CI_OTP ?= OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.2 OTP-20.0.5 OTP-20.1.1 +CI_OTP ?= OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.2 OTP-20.0.5 OTP-20.1.3 CI_HIPE ?= $(lastword $(CI_OTP)) # CI_ERLLVM ?= $(CI_HIPE) |