tree 3af7a91bd29197596859ebacdba219cd41dd5228
parent 5dfd6819785590a1c4ea092160b78fe59a54a684
author Patrick Georgi <patrick@georgi-clan.de> 1409848372 +0200
committer Patrick Georgi <patrick@georgi-clan.de> 1409914601 +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 <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6835
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>