diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-12-27 08:15:38 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-12-27 10:02:42 -0800 |
| commit | 816b0d5d6204d86c9501439ae4c5880d9b337200 (patch) | |
| tree | 15599e373d0fe33d7230a24d778b766382f15acd /top/bootstrap | |
| parent | 8319b1927b2763e7b0bb39a0c5a310078f2dfe86 (diff) | |
| download | gnulib-816b0d5d6204d86c9501439ae4c5880d9b337200.tar.gz | |
Support packages with just 'bootstrap'
* top/bootstrap: With --version, also output library version.
Support update of package that has only the bootstrap script,
and not the other three files.
* top/bootstrap-funclib.sh (scriptlibversion): Rename
from scriptversion. All uses changed. This way we
can distinguish script from script library versions.
(upgrade_bootstrap): If the package currently has only
the bootstrap script, just update that.
Diffstat (limited to 'top/bootstrap')
| -rwxr-xr-x | top/bootstrap | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/top/bootstrap b/top/bootstrap index a4246c7e80..365c378d42 100755 --- a/top/bootstrap +++ b/top/bootstrap @@ -1,7 +1,7 @@ #! /bin/sh # Bootstrap this package from checked-out sources. -scriptversion=2022-12-27.04; # UTC +scriptversion=2022-12-27.05; # UTC # Copyright (C) 2003-2022 Free Software Foundation, Inc. # @@ -132,7 +132,7 @@ do exit;; --version) set -e - echo "bootstrap $scriptversion" + echo "bootstrap $scriptversion lib $scriptlibversion" echo "$copyright" exit 0 ;; @@ -168,12 +168,6 @@ fi check_build_prerequisites $use_git -if ! test -f "$medir"/bootstrap-funclib.sh; then - # We have only completed the first phase of an upgrade from a bootstrap - # version < 2022-07-24. Need to do the second phase now. - bootstrap_sync=true -fi - if $bootstrap_sync; then prepare_GNULIB_SRCDIR upgrade_bootstrap |