chiark / gitweb /
buildd-reboot: Only touch no-daemon-please if there is currently a buildd.pid.