diff options
| author | Loïc Hoguin <[email protected]> | 2017-11-17 20:36:32 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2017-11-17 20:36:32 +0100 |
| commit | 981b309f77c8a1c84e0b2be69c19585555fddd80 (patch) | |
| tree | e47315d6b443469cff979e1b87ed6ae68c94d198 | |
| parent | 26827acbae6e01f93d2261cdea915ee0d8a650f2 (diff) | |
| download | ci.erlang.mk-981b309f77c8a1c84e0b2be69c19585555fddd80.tar.gz ci.erlang.mk-981b309f77c8a1c84e0b2be69c19585555fddd80.tar.bz2 ci.erlang.mk-981b309f77c8a1c84e0b2be69c19585555fddd80.zip | |
Use latest patch releases for 18 and 19
It turns out that for the latest minor release of a major
version (for example 19.3), patch releases are first done
the normal way (for example 19.3.6) and then, after the
next major release is out (for example 20.0), subsequent
patch releases are written with an extra number (for
example 19.3.6.3 which is in spirit 19.3.9 but indicates
that it's the 3rd patch release after 20.0's release).
| -rw-r--r-- | early-plugins.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index 477ea28..b395144 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -18,8 +18,8 @@ # 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 -OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6 +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-18+ := $(OTP-18) $(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-DROPPED := OTP-18.3.4 OTP-19.3.6 # Configure Erlang.mk's CI plugin. |