diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2021-01-01 18:24:25 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2021-01-01 19:00:09 -0800 |
commit | 6b454dc20d5ce5d3a05cc0208893038fb9485cd7 (patch) | |
tree | 1ad1b35ddc76300cfd7765f6ba17d7ee9b8b8eb5 /bootstrap | |
parent | bcf26593451cd9b82724934ea9abb04a1dffc3b1 (diff) | |
download | grep-6b454dc20d5ce5d3a05cc0208893038fb9485cd7.tar.gz |
maint: copy bootstrap, tests/init.sh from Gnulib
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 20 |
1 files changed, 17 insertions, 3 deletions
@@ -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 <<EOF If the file $me.conf exists in the same directory as this script, its contents are read as shell variables to configure the bootstrap. @@ -154,6 +156,18 @@ gnulib_files= : ${AUTOPOINT=autopoint} : ${AUTORECONF=autoreconf} +# A function to be called for each unrecognized option. Returns 0 if +# the option in $1 has been processed by the function. Returns 1 if +# the option has not been processed by the function. Override it via +# your own definition in bootstrap.conf + +bootstrap_option_hook() { return 1; } + +# A function to be called in order to print the --help information +# corresponding to user-defined command-line options. + +bootstrap_print_option_usage_hook() { :; } + # A function to be called right after gnulib-tool is run. # Override it via your own definition in bootstrap.conf. bootstrap_post_import_hook() { :; } @@ -335,7 +349,7 @@ do --no-git) use_git=false;; *) - die "$option: unknown option";; + bootstrap_option_hook $option || die "$option: unknown option";; esac done |