From: Jose E. Marchesi Date: Sun, 22 Nov 2020 23:04:03 +0000 (-0800) Subject: bootstrap: add option hooks X-Git-Tag: v1.0~3475 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=9f37c96b2e19998b49471e57775694a996136111;p=gnulib.git bootstrap: add option hooks * build-aux/bootstrap (bootstrap_print_option_usage_hook): Define. (bootstrap_option_hook): Likewise. (usage): Call bootstrap_print_option_usage_hook. --- diff --git a/ChangeLog b/ChangeLog index ce6c8ac31f..6845d1a409 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2020-11-22 Jose E. Marchesi + + bootstrap: add option hooks + * build-aux/bootstrap (bootstrap_print_option_usage_hook): Define. + (bootstrap_option_hook): Likewise. + (usage): Call bootstrap_print_option_usage_hook. + 2020-11-22 Bruno Haible argp: Don't break getprogname on non-glibc systems. diff --git a/build-aux/bootstrap b/build-aux/bootstrap index 8f76d69621..5f1b1b70c0 100755 --- a/build-aux/bootstrap +++ b/build-aux/bootstrap @@ -1,6 +1,6 @@ #! /bin/sh # Print a version string. -scriptversion=2020-04-13.15; # UTC +scriptversion=2020-11-18.17; # UTC # Bootstrap this package from checked-out sources. @@ -71,7 +71,9 @@ Options: --no-git do not use git to update gnulib. Requires that --gnulib-srcdir point to a correct gnulib snapshot --skip-po do not download po files - +EOF + bootstrap_print_option_usage_hook + cat <