diff options
author | Jose E. Marchesi <jemarch@gnu.org> | 2020-11-22 15:04:03 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-11-22 15:04:03 -0800 |
commit | 9f37c96b2e19998b49471e57775694a996136111 (patch) | |
tree | 7e3a1b19234370de39c7b9aa126ea329295fef0e /modules/execute | |
parent | 4811145f5b9ea70a932c9384e03a7151043fbcc5 (diff) | |
download | gnulib-9f37c96b2e19998b49471e57775694a996136111.tar.gz |
bootstrap: add option hooks
* build-aux/bootstrap (bootstrap_print_option_usage_hook): Define.
(bootstrap_option_hook): Likewise.
(usage): Call bootstrap_print_option_usage_hook.
Diffstat (limited to 'modules/execute')
0 files changed, 0 insertions, 0 deletions