chiark / gitweb /
Merge branch 'master' into deploy.gibson
authorMark Wooding <mdw@distorted.org.uk>
Tue, 5 May 2020 19:55:01 +0000 (20:55 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 5 May 2020 19:55:01 +0000 (20:55 +0100)
commit83641d1b50e9f9bce27eabd06d1c5208549b3a86
treea39d099f0914c499cc976835a2c9233f9d2aa48b
parent373ecd58aad73a44daa97d45a6056cf1cb84a90c
parent7443a1fb8c8fe573ad5e3c594e2585af6c5ce9ee
Merge branch 'master' into deploy.gibson

* master:
  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.