diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-09-28 19:17:10 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-28 20:19:56 +0200 |
commit | 2224550063b2f3ad30ce33df91464be3234df153 (patch) | |
tree | f72a53bcb337cf20021723870ba1e1328da955d7 /configure.ac | |
parent | 4e4f28e8634da7f6bf0e15cb30d4397194d5311c (diff) | |
download | ocaml-2224550063b2f3ad30ce33df91464be3234df153.tar.gz |
Switch required autoconf to 2.71 (#11294)
* Switch required autoconf to 2.71
Minimum version moves with the GitHub Actions runners supported version
on Ubuntu.
* Remove unneeded patching from configure
(cherry picked from commit 99a126992df5da2c2431bf75a4b11e51bd1724b9)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 7a442c5e35..1d70fa2ad6 100644 --- a/configure.ac +++ b/configure.ac @@ -15,8 +15,8 @@ # Process this file with autoconf to produce a configure script. -# Require Autoconf 2.69 for repeatability in CI -AC_PREREQ([2.69]) +# Require Autoconf 2.71 for repeatability in CI +AC_PREREQ([2.71]) AC_INIT([OCaml], [OCAML__VERSION], [caml-list@inria.fr], |