diff options
-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]' '_')" |