diff --git a/tools/eclipse.py b/tools/eclipse.py index bc4e670e36f79f1e888f1ff2992204c0f97255fd..d781a701cb90d2c08d90965f02576ced8cab42d3 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -218,6 +218,15 @@ def HandleToolOption(tools, env, project, reset): for lib in env['LIBS']: SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': lib}) + # update lib paths + if option.get('id').find('c.linker.paths') != -1 and env.has_key('LIBPATH'): + # remove old lib paths + for item in option.findall('listOptionValue'): + option.remove(item) + # add new old lib paths + for path in env['LIBPATH']: + SubElement(option, 'listOptionValue', {'builtIn': 'false', 'value': path}) + return