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

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.
---