chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7a3b44) | patch
build: Recommend using `&& echo it worked` to work around make
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 21:50:51 +0000 (22:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 21:55:26 +0000 (22:55 +0100)
commit887198ff2043a30614f7609f92aaa3cc53de9dfd
tree0138f59d0e42b5bc509a6a579248e180af6264bdtree | snapshot
parentc7a3b44d86a42312cdefb980dca00e4c0b100540commit | diff
build: Recommend using `&& echo it worked` to work around make

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
docs/build.rst diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.