Exit with non-zero status on an unrecognized command-line option - #857

Exit with non-zero status on an unrecognized command-line option#857

mernst wants to merge 15 commits into

codespecs:mastercodespecs/daikon:masterfrom

mernst:daikon-bad-option-statusmernst/daikon:daikon-bad-option-statusCopy head branch name to clipboard