make regen-configure cannot be run in GH codespaces #148812

While tackling #148810 and after modifying the configure.ac, I attempted to run the provided Tools/build/regen-configure.sh. With neither podman nor docker preinstalled with the Dev Container as specified in .devcontainer/devcontainer.json, regenerating the configure file in Codespaces is impossible.

Also, manually running autoreconf -ivf -Werror yielded the following:

autoreconf: export WARNINGS=error
autoreconf: Entering directory '.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force 
Can't exec "aclocal": No such file or directory at /usr/share/autoconf/Autom4te/FileUtils.pm line 299.
autoreconf: error: aclocal failed with exit status: 2

Linked PRs

• gh-148812: Add Docker path to devcontainer.json #148828