From 37c0558f483982c3f2c12a25621291a4ea6fb5e1 Mon Sep 17 00:00:00 2001 From: Mihail Stoyanov Date: Fri, 13 Feb 2015 22:19:30 +0200 Subject: [PATCH] Default ide value for zip export mode --- workspace_tools/export/__init__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/workspace_tools/export/__init__.py b/workspace_tools/export/__init__.py index 746023826a..30d31368a0 100755 --- a/workspace_tools/export/__init__.py +++ b/workspace_tools/export/__init__.py @@ -62,6 +62,7 @@ def export(project_path, project_name, ide, target, destination='/tmp/', if ide is None or ide == "zip": # Simple ZIP exporter try: + ide = "zip" exporter = zip.ZIP(target, tempdir, project_name, build_url_resolver, extra_symbols=extra_symbols) exporter.scan_and_copy_resources(project_path, tempdir) exporter.generate()