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)
* 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.


Trivial merge