diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-09-04 18:32:52 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-09-05 12:56:41 +0200 |
| commit | c403e42f21bc77af6db3a4222e796c102ac7e6d0 (patch) | |
| tree | 3af7a91bd29197596859ebacdba219cd41dd5228 /src/include | |
| parent | 5dfd6819785590a1c4ea092160b78fe59a54a684 (diff) | |
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>
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions