Status: | OK |
---|---|
Date/Time: | Mar 15 2016, 21:19 |
Duration: | 0:00:22.346910 |
Builder: | p82 |
Revision: | Merge branch 'timers-nohz-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (e23604edac2a7be6a8808a5d13fac6b9df4eb9a8)
|
Target: | linus/rts7751r2d1_defconfig/sh4-gcc4.6 |
Branch: | linus |
Compiler: | sh4-gcc4.6 (sh4-linux-gcc (GCC) 4.6.3) |
Config: | rts7751r2d1_defconfig (download) |