From 70f9696b6c35d029ac7bce67485713aee3983917 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 3 Oct 2017 17:35:17 +0200 Subject: Update CI targets --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3ccdc48..1cca268 100644 --- a/Makefile +++ b/Makefile @@ -15,8 +15,8 @@ CI_OTP ?= \ OTP_R16B OTP_R16B01 OTP_R16B02 OTP_R16B03-1 \ OTP-17.1.2 OTP-17.2.2 OTP-17.3.4 OTP-17.4.1 OTP-17.5.6.6 \ OTP-18.0.3 OTP-18.1.5 OTP-18.2.4.1 OTP-18.3.4.5 \ - OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.5 \ - OTP-20.0-rc2 + 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_HIPE ?= $(lastword $(CI_OTP)) #CI_ERLLVM ?= $(CI_HIPE) -- cgit v1.2.3