[tools] allow users to set specific link scripts. (#5678)

This commit is contained in:
guo 2022-03-21 08:29:31 +08:00 committed by GitHub
parent bb4fc9cb3a
commit 84ebead9c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -291,6 +291,7 @@ def HandleToolOption(tools, env, project, reset):
listOptionValue = option.find('listOptionValue')
if listOptionValue != None:
if reset is True or IsRttEclipsePathFormat(listOptionValue.get('value')):
listOptionValue.set('value', linker_script)
else:
SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': linker_script})