chiark / gitweb /
do not skip RUN execution if device node removal fails