diff options
| author | guozhanxin <[email protected]> | 2021-03-31 13:59:58 +0800 |
|---|---|---|
| committer | guozhanxin <[email protected]> | 2021-03-31 14:00:09 +0800 |
| commit | d49cc6452406d70ce7a2e2acce786fbe697673b9 (patch) | |
| tree | ddb998772a7915a57ab93b8b52953c99259c3696 /tools | |
| parent | f9be3c80e3631ebfc1ecc3e1f1d2df21277c0608 (diff) | |
| parent | 61be3180f57bcb58a7a62acb67e3179934d500b8 (diff) | |
Merge remote-tracking branch 'remotes/origin/master' into add_error_check
Diffstat (limited to 'tools')
| -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 74c697011e..4d5e28e02e 100644 --- a/tools/eclipse.py +++ b/tools/eclipse.py @@ -188,7 +188,8 @@ def HandleToolOption(tools, env, project, reset): options = tool.findall('option') # find all compile options for option in options: - if option.get('id').find('compiler.include.paths') != -1 or option.get('id').find('compiler.option.includepaths') != -1: + option_id = option.get('id') + if ('compiler.include.paths' in option_id) or ('compiler.option.includepaths' in option_id) or ('compiler.tasking.include' in option_id): compile_include_paths_options += [option] elif option.get('id').find('compiler.include.files') != -1 or option.get('id').find('compiler.option.includefiles') != -1 : compile_include_files_options += [option] |