[coreboot-gerrit] Patch merged into coreboot/master: b0bc63b abuild: allow deleting the work directories immediately

the following patch was just integrated into master:
commit b0bc63b519d05cdf4b3aedaa683de09f410e9785
Author: Patrick Georgi 
Date:   Wed May 21 22:47:05 2014 +0200

abuild: allow deleting the work directories immediately

This is useful on pure build nodes that don't care for
    object files, just for a build log and success flag.

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

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

-gerrit