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?
Any ideas?
You could make the 2nd & 3rd lines of configure this and confirm: echo >&2 dying... exit 1 -RVP