Status: | OK |
---|---|
Date/Time: | Jul 26 2016, 09:09 |
Duration: | 0:00:26.138678 |
Builder: | ka1 |
Revision: | Merge branch 'timers-nohz-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (766fd5f6cdaf1d558afba19850493b2603c9625d)
|
Target: | linus/cris-allnoconfig/cris |
Branch: | linus |
Compiler: | cris (cris-linux-gcc (GCC) 4.6.3) |
Config: | allnoconfig (download) |