Re:I Like Makefiles
by ReleaseCandidat on Saturday September 21, 2024 @10:15AM
(#41610126)
Thanks, that's it.
It has been introduced with GNU Make 4.3, January 2020 https://lists.gnu.org/archive/html/info-gnu/2020-01/msg00004...
Scroll down to "Grouped targets". I think these address the concern you raise.
The snippet you have shown is an example of the "independent targets" pattern which the first half of that page also covers.