| Status: | OK |
|---|---|
| Date/Time: | Jul 26 2016, 09:07 |
| Duration: | 0:00:54.753621 |
| Builder: | ka1 |
| Revision: | Merge branch 'timers-nohz-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (766fd5f6cdaf1d558afba19850493b2603c9625d)
|
| Target: | linus/sh7763rdp_defconfig/sh4-gcc4.6 |
| Branch: | linus |
| Compiler: | sh4-gcc4.6 (sh4-linux-gcc (GCC) 4.6.3) |
| Config: | sh7763rdp_defconfig (download) |