chiark / gitweb /
don't do RUN if "ignore_device" is given