On 2025-03-25 16:57, Baesken, Matthias wrote:
> Did you try to run "make doctor"?
No .
(I have to confess I deleted some stuff from the builddir before) .
>Normally, incremental builds work fine, but they are not 100% proof.
In particular, "make reconfigure" can cause situations that an
incremental build >cannot properly resolve. (This is printed as a
warning if you modify an existing configuration, with a recommendation
to start by cleaning the build for a >guaranteed successes, but it
works most of the time, so people tend to ignore it...)
The mentioned ‘make reconfigure’ was not done, but maybe the
deletion caused trouble .
Have you tried doing a "make clean" to see if it resolves the issue?
/Magnus
