chiark / gitweb /
buildd-reboot: Only touch no-daemon-please if there is currently a buildd.pid.
-rw-r--r-- 802 .gitignore
-rw-r--r-- 219 Makefile
-rwxr-xr-x 3900 apache2-vhost-update
-rwxr-xr-x 3033 buildd-reboot
drwxr-xr-x - debian
-rwxr-xr-x 378 upgrade-porter-chroots