diff options
| author | guo <[email protected]> | 2022-03-21 08:29:31 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-03-21 08:29:31 +0800 |
| commit | 84ebead9c9f86edad60eb1d1e4255001d20aa4f8 (patch) | |
| tree | 01da46160ce26a5f41ba514325e8f32ad3bfd819 /tools/eclipse.py | |
| parent | bb4fc9cb3ad5b25bd3c79686bc9ee004df8dde02 (diff) | |
[tools] allow users to set specific link scripts. (#5678)
Diffstat (limited to 'tools/eclipse.py')
| -rw-r--r-- | tools/eclipse.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/eclipse.py b/tools/eclipse.py index 736fcbc66d..31c1bb914b 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -291,7 +291,8 @@ def HandleToolOption(tools, env, project, reset): listOptionValue = option.find('listOptionValue') if listOptionValue != None: - listOptionValue.set('value', linker_script) + if reset is True or IsRttEclipsePathFormat(listOptionValue.get('value')): + listOptionValue.set('value', linker_script) else: SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': linker_script}) # scriptfile in stm32cubeIDE |