| Status: | OK |
|---|---|
| Date/Time: | Sep 18 2019, 06:29 |
| Duration: | 0:01:30.011856 |
| Builder: | ka3 |
| Revision: | Merge branch 'timers-core-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (7f2444d38f6bbfa12bc15e2533d8f9daa85ca02b)
|
| Target: | linus/badge4_defconfig/arm-gcc4.6 |
| Branch: | linus |
| Compiler: | arm-gcc4.6 (arm-unknown-linux-gnueabi-gcc (GCC) 4.6.3 / GNU ld (GNU Binutils) 2.22) |
| Config: | badge4_defconfig (download) |