From 96437cbde63abe9bc38621e3b1bb9df347ebe7a1 Mon Sep 17 00:00:00 2001 From: Victor Stinner Date: Wed, 15 Nov 2023 13:49:31 +0100 Subject: [PATCH] Complete comment --- Tools/build/regen-configure.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Tools/build/regen-configure.sh b/Tools/build/regen-configure.sh index aeb54d03abaf149..e34a36c1a573e59 100755 --- a/Tools/build/regen-configure.sh +++ b/Tools/build/regen-configure.sh @@ -3,7 +3,8 @@ set -e -x # The check_generated_files job of .github/workflows/build.yml must kept in -# sync with this script. +# sync with this script. Use the same container image than the job so the job +# doesn't need to run autoreconf in a container. IMAGE="ubuntu:22.04" DEPENDENCIES="autotools-dev autoconf autoconf-archive pkg-config" AUTORECONF="autoreconf -ivf -Werror"