From: Mark Wooding Date: Fri, 22 Jul 2022 10:20:32 +0000 (+0100) Subject: Makefile: Keep the log file after formatting. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdwtools/commitdiff_plain/43a0026a2e8b23320070cc05ee161cf67e446e5b?hp=43a0026a2e8b23320070cc05ee161cf67e446e5b Makefile: Keep the log file after formatting. ---