mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-01 02:34:55 +00:00
d84255c128
Reported by Simon Josefsson as bug #1 in <https://lists.gnu.org/archive/html/bug-gnulib/2024-04/msg00152.html>. * top/bootstrap: Correct indentation. * top/bootstrap-funclib.sh (prepare_GNULIB_SRCDIR): Implement as documented: If GNULIB_SRCDIR and GNULIB_REVISION are set and there is a 'gnulib' submodule, checkout the revision GNULIB_REVISION. If GNULIB_SRCDIR and GNULIB_REVISION are set and --no-git is specified, don't checkout the revision GNULIB_REVISION.