diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -29,6 +29,7 @@ DEP_EARLY_PLUGINS = ci.erlang.mk AUTO_CI_OTP ?= OTP-19+ AUTO_CI_HIPE ?= OTP-LATEST # AUTO_CI_ERLLVM ?= OTP-LATEST +AUTO_CI_WINDOWS ?= OTP-19+ # Standard targets. |