chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 368eebc) | patch
Makefile: Do various additional builds during full-check
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 15:19:37 +0000 (16:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Apr 2021 20:40:36 +0000 (21:40 +0100)
commita2d8c5d95dcbce95535e04f750f96c7fb8cf44d4
tree826b33e8f78ef6b22a51c01716ea29e168663467tree | snapshot
parent368eebca61fcc543f066d04eec2e9e560d25d0c5commit | diff
Makefile: Do various additional builds during full-check

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