3.10.5-200.fc19.x86_64 is broken

[Kevin Fenzi]

On Wed, 07 Aug 2013 04:12:04 +0200
Reindl Harald <h.reindl at thelounge.net> wrote:

> the kernel-image is a zero-byte file :-(
> 
> -rw-------  1 root root 5,9M 2013-08-07 04:09
> initramfs-3.10.5-200.fc19.x86_64.img -rw-r--r--  1 root root 127K
> 2013-08-07 00:01 config-3.10.5-200.fc19.x86_64 -rw-------  1 root
> root 2,6M 2013-08-07 00:01 System.map-3.10.5-200.fc19.x86_64
> -rwxr-xr-x  1 root root    0 2013-08-07 00:01
> vmlinuz-3.10.5-200.fc19.x86_64

Another case of https://bugzilla.redhat.com/show_bug.cgi?id=991808
just on the other kernel builder this time. ;( 

I've updated and rebooted it. The other one has behaved since it was
updated a few days ago. 

kevin