diff options
author | Tomas Vanek <vanekt@fbl.cz> | 2018-02-14 22:38:13 +0100 |
---|---|---|
committer | Tomas Vanek <vanekt@fbl.cz> | 2018-03-07 23:47:31 +0000 |
commit | 35da3e1d948bdd8c86862c36fe83ada2c73c6e34 (patch) | |
tree | b24dec125e34cddefa08fb8e6265088f9e060fed /src/openocd.c | |
parent | 6c0590cb4d3e7701658279ee76d96e5c077fb256 (diff) |
helper/configuration: free script_search_dirs and config_file_names
Although the leak is negligible, the clean heap on exit will ease
valgrind testing.
Change-Id: If43f02fe594c30ceb1bea3259ea3e098d4b2d239
Signed-off-by: Tomas Vanek <vanekt@fbl.cz>
Reviewed-on: http://openocd.zylin.com/4408
Tested-by: jenkins
Reviewed-by: Marc Schink <openocd-dev@marcschink.de>
Diffstat (limited to 'src/openocd.c')
-rw-r--r-- | src/openocd.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/openocd.c b/src/openocd.c index 831bd17f..05533aae 100644 --- a/src/openocd.c +++ b/src/openocd.c @@ -349,6 +349,8 @@ int openocd_main(int argc, char *argv[]) adapter_quit(); + free_config(); + if (ERROR_FAIL == ret) return EXIT_FAILURE; else if (ERROR_OK != ret) |