From 879a6b8bc5d36e6d91927332ecf9011199844657 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 4 Dec 2023 11:11:54 +0100 Subject: Remove unneeded Makefile variables --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index 3e65836..0a43187 100644 --- a/Makefile +++ b/Makefile @@ -30,8 +30,6 @@ dep_ci.erlang.mk = git https://github.com/ninenines/ci.erlang.mk master DEP_EARLY_PLUGINS = ci.erlang.mk AUTO_CI_OTP ?= OTP-LATEST-24+ -AUTO_CI_HIPE ?= OTP-LATEST -# AUTO_CI_ERLLVM ?= OTP-LATEST AUTO_CI_WINDOWS ?= OTP-LATEST-24+ # Hex configuration. -- cgit v1.2.3