chiark / gitweb /
Ignore unknown force options (with a warning)