diff options
| -rw-r--r-- | early-plugins.mk | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index f2544ac..b5a7320 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -18,9 +18,9 @@ # are also unlikely to be used by anyone other than # OTP customers. -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.6 +OTP-18 := OTP-18.0.3 OTP-18.1.5 OTP-18.2.4 OTP-18.3.4.7 +OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.4 +OTP-20 := OTP-20.0.5 OTP-20.1.7 OTP-18+ := $(OTP-18) $(OTP-19) $(OTP-20) OTP-19+ := $(OTP-19) $(OTP-20) @@ -32,7 +32,11 @@ 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-20.1.5 +OTP-18-DROPPED := OTP-18.3.4 OTP-18.3.4.6 +OTP-19-DROPPED := OTP-19.3.6 OTP-19.3.6.3 +OTP-20-DROPPED := OTP-20.1.5 OTP-20.1.6 + +OTP-DROPPED := $(OTP-18-DROPPED) $(OTP-19-DROPPED) $(OTP-20-DROPPED) # Configure Erlang.mk's CI plugin. |