GNU make 4.3 released
GNU make 4.3 released
Posted Jan 21, 2020 10:18 UTC (Tue) by pm215 (subscriber, #98099)Parent article: GNU make 4.3 released
Posted Jan 22, 2020 14:42 UTC (Wed)
by david.a.wheeler (subscriber, #72896)
[Link]
My "make-booster" GNU make package here: https://github.com/david-a-wheeler/make-booster implements a mechanism to do grouped targets that works on all versions of GNU make. But it's much nicer to have the facility built-in.
Grouped targets is this version's killer feature