Status: | OK |
---|---|
Date/Time: | Nov 13 2019, 10:11 |
Duration: | 0:00:47.800127 |
Builder: | blade46 |
Revision: | Merge branch 'x86-pti-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (eb094f06963bb0fd8134c6a9b805d4ad0002a7d4)
|
Target: | linus/rsk7203_defconfig/sh4-gcc4.6 |
Branch: | linus |
Compiler: | sh4-gcc4.6 (sh4-linux-gcc (GCC) 4.6.3 / GNU ld (GNU Binutils) 2.22) |
Config: | rsk7203_defconfig (download) |