Status: | OK |
---|---|
Date/Time: | Dec 2 2018, 11:23 |
Duration: | 0:01:12.457213 |
Builder: | ka3 |
Revision: | Merge branch 'x86-pti-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (4b78317679c4f3782a3cff0ddb269c1fcfde7621)
|
Target: | linus/nds32-defconfig/nds32le-gcc8 |
Branch: | linus |
Compiler: | nds32le-gcc8 (nds32le-linux-gcc (GCC) 8.1.0) |
Config: | defconfig (download) |