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

Merge pull request #10406 from j3hill/cmsis_fix 

Modify CMSIS pack manager to properly handle OSError
pull/10443/head
Martin Kojtal 2019-04-18 13:15:59 +01:00 committed by GitHub
parent 7392d51460 e54b3f7cbe
commit 63e7f09c7e
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/arm_pack_manager/__init__.py
View File

@ -23,7 +23,7 @@ import warnings
try:
from cmsis_pack_manager import Cache as _Cache
_CPM_PRESENT = True
except ImportError:
except (ImportError, OSError):
_CPM_PRESENT = False
from tools.flash_algo import PackFlashAlgo