On 13.06.2019 17:17, Michael Tremer wrote:
> Hello,
> 
> I just wanted to post you an update about the build system which we have recently merged.
> ...

> Therefore, the make.sh build script is mounting /usr/src in the build environment as a ramdisk. All source will be extracted there and the build will be performed. After the build is done, the whole ramdisk will be destroyed again.
> ...
> I hope this brief email makes sense...

Yes it does. ;-)

FYI:
Last build (Core 133) here completed in 4:22:14.

Significantly faster than before.

Best,
Matthias