chickadee » args » args:ignore-unrecognized-options

args:ignore-unrecognized-optionsprocedure

Silently ignore unrecognized options, and omit from the options alist.