[coreboot-gerrit] Patch merged into coreboot/master: c403e42 what-jenkins-does: kill build results early

the following patch was just integrated into master:
commit c403e42f21bc77af6db3a4222e796c102ac7e6d0
Author: Patrick Georgi 
Date:   Thu Sep 4 18:32:52 2014 +0200

what-jenkins-does: kill build results early

This reduces disk use and simplifies using abuild on
    a ramdisk.

Change-Id: I3fb8d273dcbb5008fa9cfaa9465a59e3bbcb974b
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/6835
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/6835 for details.

-gerrit