| Status: | OK |
|---|---|
| Date/Time: | Jul 10 2017, 15:50 |
| Duration: | 0:00:41.904087 |
| Builder: | ka2 |
| Revision: | Merge tag 'drm-for-v4.13' of git://people.freedesktop.org/~airlied/linux (af3c8d98508d37541d4bf57f13a984a7f73a328c)
|
| Target: | linus/badge4_defconfig/arm-gcc4.6 |
| Branch: | linus |
| Compiler: | arm-gcc4.6 (arm-unknown-linux-gnueabi-gcc (GCC) 4.6.3) |
| Config: | badge4_defconfig (download) |