On Thu, 2026-03-05 at 22:13 +0800, Dan Jacobson wrote: > I found something make cannot do. > > $ make --always-make file.xyz > remakes the entire tree. > > So make is missing > $ make --always-make-but-just-this-file file.xyz > > Sure, there are workarounds. > One might even edit the Makefile. > But no way to do it more succinctly.
GNU make 4 can be configured to be scriptable with Python and/or GNU guile (a Scheme dialect). I guess you could add your script to do so. Regards. -- Basile STARYNKEVITCH <[email protected]> 8 rue de la Faïencerie http://starynkevitch.net/Basile/ 92340 Bourg-la-Reine https://github.com/bstarynk France https://github.com/RefPerSys/RefPerSys https://orcid.org/0000-0003-0908-5250
