chiark / gitweb /
Don't print tracebacks for option errors