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 #12228 from jeromecoutant/PR_REGIONSIZE 

Need RAM and ROM size for compilation
pull/12307/head
Anna Bridge 2020-01-23 11:47:58 +00:00 committed by GitHub
parent cfa2dee248 5a69764ccd
commit 34a291be64
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/mbed_toolchain.py
View File

@ -898,10 +898,6 @@ class mbedToolchain(with_metaclass(ABCMeta, object)):
def add_regions(self): def add_regions(self):
"""Add regions to the build profile, if there are any. """Add regions to the build profile, if there are any.
""" """
if not getattr(self.target, "bootloader_supported", False):
return
if self.config.has_regions: if self.config.has_regions:
try: try:
regions = list(self.config.regions) regions = list(self.config.regions)