ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Minor changes: Removed unused import and trailing spaces

pull/683/head
Przemek Wirkus 2014-11-11 16:08:13 +00:00
parent a4bafa53d0
commit 1d5b91549e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
workspace_tools/export/__init__.py
View File

@ -16,7 +16,6 @@ limitations under the License.
"""
import os, tempfile
from os.path import join, exists, basename
from os import makedirs
from shutil import copytree, rmtree
from workspace_tools.utils import mkdir
@ -50,7 +49,7 @@ def online_build_url_resolver(url):
return {'path':'', 'name':''}
def export(project_path, project_name, ide, target, destination='/tmp/',
def export(project_path, project_name, ide, target, destination='/tmp/',
tempdir=None, clean=True, extra_symbols=None, build_url_resolver=online_build_url_resolver):
# Convention: we are using capitals for toolchain and target names
if target is not None: