On Tue, 28 May 2024, Riccardo Mottola wrote:

My first guess is that configure is re-run unneeded, leading thus to a major recompile.

Any ideas?


You could make the 2nd & 3rd lines of configure this and confirm:

echo >&2 dying...
exit 1

-RVP

Reply via email to