chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f25b7da) | patch
build: Fix a build race involving target/bundled-sources
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 21:47:37 +0000 (22:47 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 21:51:08 +0000 (22:51 +0100)
commitc7a3b44d86a42312cdefb980dca00e4c0b100540
tree1b7d4d3d1d703aca94277d7d02977a2113da8fc3tree | snapshot
parentf25b7da860d20f82619ccec43b1b79a3e113aafdcommit | diff
build: Fix a build race involving target/bundled-sources

Symptoms:
  cp: cannot create regular file '/home/user/otter/target/bundled-sources/README.md': No such file or directory

Reported-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.