]> Savannah Git Hosting - gnulib.git/commit
bootstrap: add option hooks
authorJose E. Marchesi <jemarch@gnu.org>
Sun, 22 Nov 2020 23:04:03 +0000 (15:04 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 22 Nov 2020 23:04:03 +0000 (15:04 -0800)
commit9f37c96b2e19998b49471e57775694a996136111
tree7e3a1b19234370de39c7b9aa126ea329295fef0e
parent4811145f5b9ea70a932c9384e03a7151043fbcc5
bootstrap: add option hooks

* build-aux/bootstrap (bootstrap_print_option_usage_hook): Define.
(bootstrap_option_hook): Likewise.
(usage): Call bootstrap_print_option_usage_hook.
ChangeLog
build-aux/bootstrap