mirror of https://github.com/ARMmbed/mbed-os.git
Elide adding regions to profile when empty
parent
cd7abc019f
commit
8b3f08ed49
|
@ -283,6 +283,8 @@ def add_regions_to_profile(profile, config, toolchain_class):
|
|||
config - the configuration object that owns the region
|
||||
toolchain_class - the class of the toolchain being used
|
||||
"""
|
||||
if not profile:
|
||||
return
|
||||
regions = list(config.regions)
|
||||
for region in regions:
|
||||
for define in [(region.name.upper() + "_ADDR", region.start),
|
||||
|
|
Loading…
Reference in New Issue