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 5d64d14..84d3a20 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.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-20.2 +OTP-20 := OTP-20.0.5 OTP-20.1.7 OTP-20.2.1 OTP-18+ := $(OTP-18) $(OTP-19) $(OTP-20) OTP-19+ := $(OTP-19) $(OTP-20) @@ -34,7 +34,7 @@ OTP-LATEST := $(lastword $(OTP-18+)) 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-20-DROPPED := OTP-20.1.5 OTP-20.1.6 OTP-20.2 OTP-DROPPED := $(OTP-18-DROPPED) $(OTP-19-DROPPED) $(OTP-20-DROPPED) |