chiark / gitweb /
Fix spurious error when `-file' is used.