diff options
author | Patrick Georgi <pgeorgi@google.com> | 2019-11-20 16:49:41 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-22 21:50:03 +0000 |
commit | d653e491e133df1b9e066a3817396f739e2c5533 (patch) | |
tree | 5f03966cb3d8e818e0a37c7ae66c86da742ec5fb /src/commonlib/mem_pool.c | |
parent | eb80e053b6bb5994df592dcb36d525b4174386cd (diff) |
util/release: always remove temporary files
Change-Id: I8e6ff5bc72618e782ed472878bd6ea294be1b5ca
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37021
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/commonlib/mem_pool.c')
0 files changed, 0 insertions, 0 deletions