Status: | OK |
---|---|
Date/Time: | May 20 2019, 05:43 |
Duration: | 0:00:17.497321 |
Builder: | ka1 |
Revision: | Merge branch 'efi-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (39feaa3ff4453594297574e116a55bd6d5371f37)
|
Target: | linus/edosk7705_defconfig/sh4-gcc4.6 |
Branch: | linus |
Compiler: | sh4-gcc4.6 (sh4-linux-gcc (GCC) 4.6.3 / GNU ld (GNU Binutils) 2.22) |
Config: | edosk7705_defconfig (download) |