diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-11-14 22:55:01 (EST) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-11-14 22:55:01 (EST) |
| commit | 699827755e4314b6439337e9cbab7d9ab59058c1 (patch) | |
| tree | e8452d35b342f64e1515dbfc6150cb85c0091e0e /configure | |
| parent | 1931ab98cbd829763a948da54149791c71cfd0b8 (diff) | |
configure: Don't exit on unrecognized options.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -254,8 +254,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]' '_')" |