make --always-make-but-just-this-file

Dan Jacobson <[email protected]> Thu, 05 Mar 2026 22:13:33 +0800
Newsgroups gmane.comp.gnu.make.bugs
Message-ID <[email protected]>
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.