From 35c90753c0eb35f2b20f38b53f538d984c4497c4 Mon Sep 17 00:00:00 2001 From: 0xc0170 Date: Tue, 28 Jun 2016 10:22:47 +0200 Subject: [PATCH] Project - fix zip rename argument --- tools/project.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/project.py b/tools/project.py index 43768f8153..239507aea3 100644 --- a/tools/project.py +++ b/tools/project.py @@ -210,7 +210,7 @@ if __name__ == '__main__': setup_user_prj(project_dir[0], test.source_dir, test.dependencies) # Export to selected toolchain - tmp_path, report = export(project_dir, project_name, ide, mcu, project_dir[0], project_temp, clean=clean, zip=zip, extra_symbols=lib_symbols, sources_relative=sources_relative) + tmp_path, report = export(project_dir, project_name, ide, mcu, project_dir[0], project_temp, clean=clean, make_zip=zip, extra_symbols=lib_symbols, sources_relative=sources_relative) if report['success']: if not zip: zip_path = join(project_temp, project_name)