1
0
mirror of git://git.sv.gnu.org/coreutils.git synced 2026-02-11 01:42:17 +02:00

build: update gnulib submodule to latest

* bootstrap: Copy from latest Gnulib,
to fix --bootstrap-sync with other options.
This commit is contained in:
Pádraig Brady
2023-12-10 19:04:59 +00:00
parent 0ee8b03422
commit 9becda5d93
2 changed files with 11 additions and 7 deletions

View File

@@ -3,7 +3,7 @@
# Bootstrap this package from checked-out sources. # Bootstrap this package from checked-out sources.
scriptversion=2023-07-01.18; # UTC scriptversion=2023-12-10.18; # UTC
# Copyright (C) 2003-2023 Free Software Foundation, Inc. # Copyright (C) 2003-2023 Free Software Foundation, Inc.
# #
@@ -37,7 +37,7 @@ medir=`dirname "$me"`
# A library of shell functions for autopull.sh, autogen.sh, and bootstrap. # A library of shell functions for autopull.sh, autogen.sh, and bootstrap.
scriptlibversion=2023-07-01.17; # UTC scriptlibversion=2023-12-10.18; # UTC
# Copyright (C) 2003-2023 Free Software Foundation, Inc. # Copyright (C) 2003-2023 Free Software Foundation, Inc.
# #
@@ -659,7 +659,9 @@ Optional environment variables:
Use this if you already have gnulib sources Use this if you already have gnulib sources
and history on your machine, and do not want and history on your machine, and do not want
to waste your bandwidth downloading them again. to waste your bandwidth downloading them again.
GNULIB_URL Cloneable URL of the gnulib repository. GNULIB_URL URL of the gnulib repository. The default is
$default_gnulib_url,
which is Gnulib's upstream repository.
Options: Options:
--bootstrap-sync if this bootstrap script is not identical to --bootstrap-sync if this bootstrap script is not identical to
@@ -775,7 +777,7 @@ autopull()
if $use_gnulib || $bootstrap_sync; then if $use_gnulib || $bootstrap_sync; then
prepare_GNULIB_SRCDIR prepare_GNULIB_SRCDIR
if $bootstrap_sync; then if $bootstrap_sync; then
upgrade_bootstrap upgrade_bootstrap "$@"
fi fi
fi fi
@@ -1347,7 +1349,9 @@ Optional environment variables:
have gnulib sources on your machine, and have gnulib sources on your machine, and
do not want to waste your bandwidth downloading do not want to waste your bandwidth downloading
them again. them again.
GNULIB_URL Cloneable URL of the gnulib repository. GNULIB_URL URL of the gnulib repository. The default is
$default_gnulib_url,
which is Gnulib's upstream repository.
Options: Options:
@@ -1492,7 +1496,7 @@ check_build_prerequisites $use_git
if $bootstrap_sync; then if $bootstrap_sync; then
prepare_GNULIB_SRCDIR prepare_GNULIB_SRCDIR
upgrade_bootstrap upgrade_bootstrap "$@"
# Since we have now upgraded if needed, no need to try it a second time below. # Since we have now upgraded if needed, no need to try it a second time below.
bootstrap_sync=false bootstrap_sync=false
fi fi

2
gnulib

Submodule gnulib updated: fc34eade19...d1892fd701