diff options
author | P. J. McDermott <pjm@nac.net> | 2012-11-14 22:55:26 (EST) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-11-14 22:55:26 (EST) |
commit | a01a768965d6bad8782a5306fe05b09777e5bbdc (patch) | |
tree | 10e566760fc24262f111c7c7863245d75d957e9b | |
parent | 0abd42151cb52698f330aa1c9f0a8590b1a1b757 (diff) |
configure: Don't exit on unrecognized options.
-rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -249,8 +249,9 @@ parse_options() "${_opts}" EOF if [ ${?} -ne 0 ]; then - printf 'invalid %s name: %s\n' "${_type}" "${_opt}" >&2 - exit 1 + printf 'warning: unrecognized %s name: %s\n' \ + "${_type}" "${_opt}" >&2 + continue fi if ${_optarg_set}; then _opt="$(printf '%s' "${_opt}" | tr -c '[a-z0-9]' '_')" |