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

Update tools/config/__init__.py 

Co-Authored-By: orenc17 <oren.cohen@arm.com>
pull/9633/head
Michael Schwarcz 2019-02-09 13:55:32 +02:00 committed by GitHub
parent e162d69f56
commit 9013dc8e5d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/config/__init__.py
View File

@ -37,7 +37,7 @@ from ..utils import (json_file_to_dict, intelhex_offset, integer,
from ..arm_pack_manager import Cache
from ..targets import (CUMULATIVE_ATTRIBUTES, TARGET_MAP, generate_py_target,
get_resolution_order, Target)
from ..settings import DELIVERY_DIR, ROOT
from ..settings import DELIVERY_DIR
try:
unicode