From: Lady <redacted>
Date: Fri, 24 May 2024 05:10:58 +0000 (-0400)
Subject: Mark GNUmakefile as precious
X-Git-Tag: 0.9.3~3
X-Git-Url: https://git.ladys.computer/Shushe/commitdiff_plain/c5203f114453b0baf387c86071367e3c29ce1a0c?ds=sidebyside;hp=c5203f114453b0baf387c86071367e3c29ce1a0c

Mark GNUmakefile as precious

One would hope that Make wouldn’t ever delete the make·file it is
running, but the documentation doesn’t seem to explicitly give that
guarantee, so it’s good to be explicit about it.
---