From: Lady <redacted>
Date: Sat, 22 Jun 2024 21:43:40 +0000 (-0400)
Subject: Disable make·file prerequisites when not needed
X-Git-Url: https://git.ladys.computer/Shushe/commitdiff_plain/310a9688453c345f50604f738701435ec6a737be?ds=inline;hp=310a9688453c345f50604f738701435ec6a737be

Disable make·file prerequisites when not needed

Specifically, the `help` and `clean` targets don’t require any
compilation of types, parsers, dependencies, or destinations. G·N·U
Make provides the `$(MAKECMDGOALS)` to check which targets were set as
goals on the commandline; when the only goals are `help` and `clean`,
excessive computation can be disabled.
---