chiark / gitweb /
Merge branch 'master' into deploy
authorMark Wooding <mdw@distorted.org.uk>
Mon, 8 Jun 2020 19:01:42 +0000 (20:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 8 Jun 2020 19:01:42 +0000 (20:01 +0100)
commite46b83564762947004b1eeea5b38ff50766a3e82
tree88c0c95dd21b7592681ad69936a6452489995dc0
parent24040ed107b3b849d53909fde2d7b7915b0e2972
parenta02fd5c0d74688a56a909b5ab5ae5eed4adf97fb
Merge branch 'master' into deploy

* master:
  Makefile: Use buster's Qemu on stretch.
  Makefile, bin/chroot-maint: Allow source distribution selection for Qemu.
  bin/chroot-maint: Add missing format argument to diagnostic.
  Makefile, bin/chroot-maint: Keep `/usr/local/include' mostly empty.
  etc/sbuild.conf.in: Don't run complicated Debian testing by default.
  Makefile: Add a new thing for running arbitrary commands.
  Makefile: Change the tag for maintenance to be `MAINT'.
  Makefile: Fix `squote' to have the right number of `\'s.
  bin/chroot-maint: Run `ldconfig' after an update.
  bin/chroot-maint: Fix mistakenly indented file-contents literals.
  src/jobclient.c: Cope if the jobserver pipe is set nonblocking.
  bin/chroot-maint: Force `--no-merged-usr'.
  bin/chroot-maint: Update the path correctly when following a symlink.
  bin/chroot-maint: Don't forget to copy symlinks to directories.