diff options
Diffstat (limited to 'top/bootstrap')
-rwxr-xr-x | top/bootstrap | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/top/bootstrap b/top/bootstrap index e9d8ad82aa..cf8d007f64 100755 --- a/top/bootstrap +++ b/top/bootstrap @@ -26,7 +26,7 @@ # Please report bugs or propose patches to bug-gnulib@gnu.org. -scriptversion=2022-07-24.15; # UTC +scriptversion=2022-07-29.23; # UTC me="$0" medir=`dirname "$me"` @@ -62,10 +62,6 @@ Options: --bootstrap-sync if this bootstrap script is not identical to the version in the local gnulib sources, update this script, and then restart it with - - --bootstrap-sync if this bootstrap script is not identical to - the version in the local gnulib sources, - update this script, and then restart it with /bin/sh or the shell \$CONFIG_SHELL --no-bootstrap-sync do not check whether bootstrap is out of sync --copy copy files instead of creating symbolic links |