diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-09-29 10:08:35 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2014-10-18 14:45:15 +0200 |
| commit | 96990a285d775520c6279603371a1394bcdd8cd3 (patch) | |
| tree | a9b2c9eb3e2ed0f3dbfb5e2b83eee6b97c4f1a71 /src/device/Makefile.inc | |
| parent | 747c07f08a839f5b2b6220f2e61fdf99b9ff35eb (diff) | |
cbfstool: free memory
Change-Id: Ic53127a61154460fa3741a92a3b2de0eba446e9f
Found-by: Coverity Scan
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6987
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to 'src/device/Makefile.inc')
0 files changed, 0 insertions, 0 deletions