diff options
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/bootstrap | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/build-aux/bootstrap b/build-aux/bootstrap index 341d05d57e..9714a59432 100755 --- a/build-aux/bootstrap +++ b/build-aux/bootstrap @@ -30,7 +30,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"` @@ -660,10 +660,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 |