chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a1b590) | patch
Makefile: touch the otter cli when we rebuild it
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Jul 2021 12:39:44 +0000 (13:39 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Jul 2021 12:39:44 +0000 (13:39 +0100)
commit8bebebe4766f2dcbd7b5ac511fec1ce1cd2bf4e7
tree12904faff8f05f8474e6ea49633da61702cbc139tree | snapshot
parent2a1b590c0a626f8fec813f77be6066e9bfd0e73acommit | diff
Makefile: touch the otter cli when we rebuild it

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