From 32e4d2eb99ea9d008dfd1596d355ae25d4269f3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 9 Jan 2023 17:17:56 +0100 Subject: Always rebuild from scratch in CI --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d68ba33..2fe339b 100644 --- a/Makefile +++ b/Makefile @@ -39,9 +39,9 @@ AUTO_CI_HIPE ?= OTP-LATEST # AUTO_CI_ERLLVM ?= OTP-LATEST AUTO_CI_WINDOWS ?= OTP-21+ -# Always rebuild deps in CI because OTP-25.0+ can't use the older build. +# Always rebuild from scratch in CI because OTP-25.0+ can't use the older build. -ci-setup:: distclean-deps +ci-setup:: distclean # Hex configuration. -- cgit v1.2.3