Searched refs:bootstrap_option_hook (Results 1 – 1 of 1) sorted by relevance
130 bootstrap_option_hook() { return 1; } function757 bootstrap_option_hook $option || die "$option: unknown option";;1091 bootstrap_option_hook $option || die "$option: unknown option";;1473 bootstrap_option_hook $option || die "$option: unknown option";;