Hallo.
Danke für die Tips.
.config kann es nicht gewesen sein. Ich habe das komplette Verzeichnis gelöscht, frisch ausgecheckt, konfiguriert und den build Prozess angestoßen.
Nach mehreren Versuchen ist make dann auch durchgelaufen. Warum es mehrere Anläufe gebraucht hat, weiss ich nicht...