summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-09-28 19:17:10 +0100
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-09-28 20:19:56 +0200
commit2224550063b2f3ad30ce33df91464be3234df153 (patch)
treef72a53bcb337cf20021723870ba1e1328da955d7 /configure.ac
parent4e4f28e8634da7f6bf0e15cb30d4397194d5311c (diff)
downloadocaml-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.ac4
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],