]> Savannah Git Hosting - gnulib.git/commitdiff
bootstrap: Try to prevent the user from setting GNULIB_URL to a wrong value.
authorBruno Haible <bruno@clisp.org>
Tue, 29 Aug 2023 21:34:34 +0000 (23:34 +0200)
committerBruno Haible <bruno@clisp.org>
Tue, 29 Aug 2023 21:40:23 +0000 (23:40 +0200)
* top/bootstrap-funclib.sh: Explain GNULIB_URL better.
* top/bootstrap: Likewise.
* build-aux/bootstrap: Likewise.

build-aux/bootstrap
top/bootstrap
top/bootstrap-funclib.sh

index e44b502249442364d87c8e02513fd5cb31eb9fe9..979b3af62e933abde12a7f77f634a2e7e48e747d 100755 (executable)
@@ -3,7 +3,7 @@
 
 # Bootstrap this package from checked-out sources.
 
-scriptversion=2023-08-29.20; # UTC
+scriptversion=2023-08-29.21; # UTC
 
 # Copyright (C) 2003-2023 Free Software Foundation, Inc.
 #
@@ -659,7 +659,9 @@ Optional environment variables:
                            Use this if you already have gnulib sources
                            and history on your machine, and do not want
                            to waste your bandwidth downloading them again.
-  GNULIB_URL               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:
   --bootstrap-sync         if this bootstrap script is not identical to
@@ -1347,7 +1349,9 @@ Optional environment variables:
                            have gnulib sources on your machine, and
                            do not want to waste your bandwidth downloading
                            them again.
-  GNULIB_URL               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:
 
index f61299a513c786f743c6822fdeff9b9e85454f96..6c170d35dee983b2ac80f26e5ed256bbed571528 100755 (executable)
@@ -1,7 +1,7 @@
 #! /bin/sh
 # Bootstrap this package from checked-out sources.
 
-scriptversion=2023-08-29.20; # UTC
+scriptversion=2023-08-29.21; # UTC
 
 # Copyright (C) 2003-2023 Free Software Foundation, Inc.
 #
@@ -45,7 +45,9 @@ Optional environment variables:
                            have gnulib sources on your machine, and
                            do not want to waste your bandwidth downloading
                            them again.
-  GNULIB_URL               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:
 
index 496beea45ca611127450af5650cff8d197fb5197..54deea66a26258c948a9ee2647e98bbb8a8e91c1 100644 (file)
@@ -1,6 +1,6 @@
 # A library of shell functions for autopull.sh, autogen.sh, and bootstrap.
 
-scriptlibversion=2023-08-29.20; # UTC
+scriptlibversion=2023-08-29.21; # UTC
 
 # Copyright (C) 2003-2023 Free Software Foundation, Inc.
 #
@@ -622,7 +622,9 @@ Optional environment variables:
                            Use this if you already have gnulib sources
                            and history on your machine, and do not want
                            to waste your bandwidth downloading them again.
-  GNULIB_URL               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:
   --bootstrap-sync         if this bootstrap script is not identical to