chiark / gitweb /
Exit nonzero if any unknown options are provided on the command line.