Status: | OK |
---|---|
Date/Time: | Jul 20 2018, 16:28 |
Duration: | 0:00:35.706432 |
Builder: | ka4 |
Revision: | Merge tag 'drm-fixes-2018-07-20' of git://anongit.freedesktop.org/drm/drm (28c20cc73b9cc4288c86c2a3fc62af4087de4b19)
|
Target: | linus/jornada720_defconfig/arm-gcc4.6 |
Branch: | linus |
Compiler: | arm-gcc4.6 (arm-unknown-linux-gnueabi-gcc (GCC) 4.6.3) |
Config: | jornada720_defconfig (download) |