Re: make --always-make-but-just-this-file

--000000000000a2aa19064c4d5fa0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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=E2=80=99t the portable method that people have used for decades =E2=80=
=9Crm file.xyz;
make file.xyz=E2=80=9D?

--000000000000a2aa19064c4d5fa0
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Thursday, March 5, 2026, Dan Jacobson &lt;<a href=3D"mailto:jidanni@jida=
nni.org">[email protected]</a>&gt; wrote:<br><blockquote class=3D"gmail_q=
uote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1e=
x">I found something make cannot do.<br>
<br>
$ make --always-make <a href=3D"http://file.xyz" target=3D"_blank">file.xyz=
</a><br>
remakes the entire tree.<br>
<br>
So make is missing<br>
$ make --always-make-but-just-this-<wbr>file <a href=3D"http://file.xyz" ta=
rget=3D"_blank">file.xyz</a><br>
<br>
Sure, there are workarounds.<br>
One might even edit the Makefile.<br>
But no way to do it more succinctly.</blockquote><div><br></div><div><br></=
div><div>Isn=E2=80=99t the portable method that people have used for decade=
s =E2=80=9Crm <a href=3D"http://file.xyz">file.xyz</a>; make <a href=3D"htt=
p://file.xyz">file.xyz</a>=E2=80=9D?</div><div><br></div>

--000000000000a2aa19064c4d5fa0--