chiark / gitweb /
buildd-reboot: Only touch no-daemon-please if there is currently a buildd.pid.
authorPeter Palfrader <peter@palfrader.org>
Sat, 24 Oct 2009 18:29:58 +0000 (20:29 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sat, 24 Oct 2009 18:29:58 +0000 (20:29 +0200)
commitf0d5b2ab28621ea2f853cbd97942e326fcb1670a
treeb435b5280a7d4d9dd15c4486081195bcb53f9889
parent1684171aa0aa7237b64573691b6dcd459b15adb8
buildd-reboot: Only touch no-daemon-please if there is currently a buildd.pid.
buildd-reboot
debian/changelog