| Status: | OK |
|---|---|
| Date/Time: | Mar 15 2016, 21:02 |
| Duration: | 0:00:15.890765 |
| Builder: | p82 |
| Revision: | Merge branch 'timers-nohz-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (e23604edac2a7be6a8808a5d13fac6b9df4eb9a8)
|
| Target: | linus/artpec_3_defconfig/crisv32 |
| Branch: | linus |
| Compiler: | crisv32 (crisv32-linux-gcc (GCC) 4.6.3) |
| Config: | artpec_3_defconfig (download) |