Status: | OK |
---|---|
Date/Time: | Feb 18 2019, 07:49 |
Duration: | 0:00:57.823264 |
Builder: | ka2 |
Revision: | Merge branch 'efi-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (2fee036af043fa07ab19cbe8a7350fc685bd8be1)
|
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) |