chiark / gitweb /
~mdw / distorted-chroot / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Makefile: Add a new thing for running arbitrary commands.
[distorted-chroot] / src /
2020-04-19 Mark Woodingsrc/jobclient.c: Cope if the jobserver pipe is set... tree | commitdiff
2019-09-19 Mark Woodingsrc/jobclient.c: Low-level magic for GNU Make's jobserv... tree | commitdiff
Machinery for managing Debian (host and cross-) build chroots.