diff options
-rw-r--r-- | early-plugins.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index 4b64354..f2544ac 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -20,7 +20,7 @@ OTP-18 := OTP-18.0.3 OTP-18.1.5 OTP-18.2.4 OTP-18.3.4.6 OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.3 -OTP-20 := OTP-20.0.5 OTP-20.1.5 +OTP-20 := OTP-20.0.5 OTP-20.1.6 OTP-18+ := $(OTP-18) $(OTP-19) $(OTP-20) OTP-19+ := $(OTP-19) $(OTP-20) @@ -32,7 +32,7 @@ OTP-LATEST := $(lastword $(OTP-18+)) # are listed here. This list is used to cleanup builds and # installations that we do not care about anymore. -OTP-DROPPED := OTP-18.3.4 OTP-19.3.6 +OTP-DROPPED := OTP-18.3.4 OTP-19.3.6 OTP-20.1.5 # Configure Erlang.mk's CI plugin. |