Hi,
ich hab heute einige Korrekturen an dem Makefile.tools vorgenommen, die dafür sorgen sollen das veraltete Libraries gegen die aktuellen ersetzt werden (das funktionierte bisher nicht zuverlässig). Dadurch ist diese Prüfung leider etwas langsamer geworden.
Claus