chiark / gitweb /
Parse tracing options on the command-line.