Status: | OK |
---|---|
Date/Time: | May 20 2019, 05:15 |
Duration: | 0:00:59.066308 |
Builder: | ka2 |
Revision: | Merge branch 'efi-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (39feaa3ff4453594297574e116a55bd6d5371f37)
|
Target: | linus/nds32-defconfig/nds32le-gcc8 |
Branch: | linus |
Compiler: | nds32le-gcc8 (nds32le-linux-gcc (GCC) 8.1.0 / GNU ld (GNU Binutils) 2.30.51.20180307) |
Config: | defconfig (download) |