1 From 9becda5d9371c16a6e5e2815c8a28158696e4a23 Mon Sep 17 00:00:00 2001
2 From: =?UTF-8?q?P=C3=A1draig=20Brady?= <P@draigBrady.com>
3 Date: Sun, 10 Dec 2023 19:04:59 +0000
4 Subject: build: update gnulib submodule to latest
6 * bootstrap: Copy from latest Gnulib,
7 to fix --bootstrap-sync with other options.
9 bootstrap | 16 ++++++++++------
10 1 file changed, 10 insertions(+), 6 deletions(-)
12 (limited to 'bootstrap')
18 # Bootstrap this package from checked-out sources.
20 -scriptversion=2023-07-01.18; # UTC
21 +scriptversion=2023-12-10.18; # UTC
23 # Copyright (C) 2003-2023 Free Software Foundation, Inc.
25 @@ -37,7 +37,7 @@ medir=`dirname "$me"`
27 # A library of shell functions for autopull.sh, autogen.sh, and bootstrap.
29 -scriptlibversion=2023-07-01.17; # UTC
30 +scriptlibversion=2023-12-10.18; # UTC
32 # Copyright (C) 2003-2023 Free Software Foundation, Inc.
34 @@ -659,7 +659,9 @@ Optional environment variables:
35 Use this if you already have gnulib sources
36 and history on your machine, and do not want
37 to waste your bandwidth downloading them again.
38 - GNULIB_URL Cloneable URL of the gnulib repository.
39 + GNULIB_URL URL of the gnulib repository. The default is
40 + $default_gnulib_url,
41 + which is Gnulib's upstream repository.
44 --bootstrap-sync if this bootstrap script is not identical to
45 @@ -775,7 +777,7 @@ autopull()
46 if $use_gnulib || $bootstrap_sync; then
48 if $bootstrap_sync; then
50 + upgrade_bootstrap "$@"
54 @@ -1347,7 +1349,9 @@ Optional environment variables:
55 have gnulib sources on your machine, and
56 do not want to waste your bandwidth downloading
58 - GNULIB_URL Cloneable URL of the gnulib repository.
59 + GNULIB_URL URL of the gnulib repository. The default is
60 + $default_gnulib_url,
61 + which is Gnulib's upstream repository.
65 @@ -1492,7 +1496,7 @@ check_build_prerequisites $use_git
67 if $bootstrap_sync; then
70 + upgrade_bootstrap "$@"
71 # Since we have now upgraded if needed, no need to try it a second time below.