Subject: Re: bug#75655: configure doesn't update Makefile

From: Andreas Schwab <[email-masked]>
Date: Tue, 21 Jan 2025 00:20:47 +0100

On Jan 20 2025, Pip Cet wrote:

> If it is, I'm confused because the target $@ of this rule is, in my
> case, benchmark/Makefile.in.

If config.status cannot create that file then it is not the right
command to create it.

-- 
Andreas Schwab, [email-masked]
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."