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.