Re: makefile rules

[Paul Eggert]

On 12/21/21 12:12, Bruno Haible wrote:
> I'm fine with removing these 'rm -f $@-t $@' commands.

OK, I did that with the first attached patch.

The @NMD@ business means we need recipe lines that say "$(AM_V_GEN)" and 
nothing else. However, this should be portable and GNU Make figures it 
out without forking more processes.

This also changes "mv -f $@-t $@" to plain "mv $@-t $@". The -f is not 
needed. Formerly we were inconsistent about whether to use -f and I 
figured we might as well be simpler.

This patch omits instances of trailing "&& \" when keeping it would 
contort the code due to the @NMD@s. This is another argument for 
omitting "&& \" when it's not needed, as discussed in 
<https://lists.gnu.org/r/bug-gnulib/2021-12/msg00125.html>.

I also installed the second attached patch, which adds a couple of 
@NMD@s that were missed earlier.

0001-maint-omit-unnecessary-rm-f-t.patch
Description: Text Data

0002-libgmp-omit-redundant-mkdir-p.patch
Description: Text Data