diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-24 13:16:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-24 13:16:56 +0100 |
commit | fad280bc779a4afd91844a86dfe91357a40f91fb (patch) | |
tree | 634f7132aa5677d351e6c09435b3040f46e54382 /build-aux/ocaml_version.m4 | |
parent | d42ce974908bc0ef2a823f252952cf990dfdeea7 (diff) | |
download | ocaml-fad280bc779a4afd91844a86dfe91357a40f91fb.tar.gz |
Normalize the minor version number of the compiler (#11049)
It's no longer 5.00.0 but 5.0.0. The minor version number is no longer padded with a leading zero.
Diffstat (limited to 'build-aux/ocaml_version.m4')
-rw-r--r-- | build-aux/ocaml_version.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/ocaml_version.m4 b/build-aux/ocaml_version.m4 index 681f116bbb..2c66a918a3 100644 --- a/build-aux/ocaml_version.m4 +++ b/build-aux/ocaml_version.m4 @@ -32,7 +32,7 @@ m4_define([OCAML__DEVELOPMENT_VERSION], [true]) # including the patchlevel, are mandatory. m4_define([OCAML__VERSION_MAJOR], [5]) -m4_define([OCAML__VERSION_MINOR], [00]) +m4_define([OCAML__VERSION_MINOR], [0]) m4_define([OCAML__VERSION_PATCHLEVEL], [0]) # Note that the OCAML__VERSION_EXTRA string defined below is always empty # for officially-released versions of OCaml. |