On Thursday, March 5, 2026, Dan Jacobson <[email protected]> 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. Isn’t the portable method that people have used for decades “rm file.xyz; make file.xyz”?
