diff options
| author | aozima <[email protected]> | 2018-07-16 22:45:29 +0800 |
|---|---|---|
| committer | aozima <[email protected]> | 2018-07-16 22:45:29 +0800 |
| commit | 0fbd8bf1679db7731a38e0a1258e0ef9345455e8 (patch) | |
| tree | 4cf810f9150faf4365f3c0816925f2927627f896 | |
| parent | 6deeb61efb8e0e17ff0c4eaaee2a3e3b1e96877f (diff) | |
[scons] remove check whether exist group library.
| -rw-r--r-- | tools/building.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/building.py b/tools/building.py index fee9553bcf..e73815de22 100644 --- a/tools/building.py +++ b/tools/building.py @@ -585,14 +585,6 @@ def DefineGroup(name, src, depend, **parameters): if os.path.exists(fn): os.unlink(fn) - # check whether exist group library - if not GetOption('buildlib') and os.path.exists(os.path.join(group['path'], GroupLibFullName(name, Env))): - group['src'] = [] - if group.has_key('LIBS'): group['LIBS'] = group['LIBS'] + [GroupLibName(name, Env)] - else : group['LIBS'] = [GroupLibName(name, Env)] - if group.has_key('LIBPATH'): group['LIBPATH'] = group['LIBPATH'] + [GetCurrentDir()] - else : group['LIBPATH'] = [GetCurrentDir()] - if group.has_key('LIBS'): Env.AppendUnique(LIBS = group['LIBS']) if group.has_key('LIBPATH'): |