Die Make Ausgaben sind lediglich abgeschaltet, damit man nur die wesentlichen Sachen zusehen bekommt. Das ist in der Makefile.config konfiguriert.
In der Makefile.config werden alle individuellen Konfigurationen vorgenommen, wie z.B. welche ISOs gebaut und welche Addons enthalten sein sollen, wenn man nicht alle Standard ISOs bauen möchte.
Claus