Status: | OK |
---|---|
Date/Time: | Aug 14 2018, 15:00 |
Duration: | 0:00:30.669209 |
Builder: | ka4 |
Revision: | Merge branch 'x86-timers-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (13e091b6dd0e78a518a7d8756607d3acb8215768)
|
Target: | linus/or1ksim_defconfig/or32-gcc9 |
Branch: | linus |
Compiler: | or32-gcc9 (or1k-linux-gcc (GCC) 5.4.0) |
Config: | or1ksim_defconfig (download) |