| Status: | OK |
|---|---|
| Date/Time: | Jul 14 2018, 23:22 |
| Duration: | 0:00:58.420519 |
| Builder: | ka4 |
| Revision: | Merge branch 'x86/timers' (f888dc3cb78e22572673c861c1bdf6a45cee27d2)
|
| Target: | tip/ppc64le_defconfig/powerpc-gcc5 |
| Branch: | tip |
| Compiler: | powerpc-gcc5 (powerpc64le-linux-gcc (GCC) 5.2.0) |
| Config: | ppc64le_defconfig (download) |