Aber make geht nur nach Dateidatum.
Wenn du die noch mit dem alten Compiler übersetzt hast, dann den
Compiler wechselst und die Quelltexte nicht editierst, wird make
die auch nicht neu übersetzen lassen.
Schließlich sind die Objektdateien doch neuer als die Quellen -
für make also aktuell kompiliert.
make weiß doch nicht, daß der Compiler getauscht wurde und damit die
Objektdateien veraltet sind.
Es kann ja sein, daß es nur klappt, wenn alles neu übersetzt wird.
Bei sowas macht man doch ein make clean und übersetzt dann neu.