Status: | OK |
---|---|
Date/Time: | Aug 14 2018, 12:35 |
Duration: | 0:01:50.055525 |
Builder: | ka2 |
Revision: | Merge branch 'x86-timers-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (13e091b6dd0e78a518a7d8756607d3acb8215768)
|
Target: | linus/x86_64-defconfig/x86_64-gcc4.6 |
Branch: | linus |
Compiler: | x86_64-gcc4.6 (x86_64-linux-gcc (GCC) 4.6.3) |
Config: | defconfig (download) |