Cool. What was the time before? > On 15 Jun 2019, at 11:03, Matthias Fischer wrote: > >> 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