diff --git a/tools/building.py b/tools/building.py index fee9553bcf6afc4860fcdb867fbd2b916fd2d9d1..e73815de223b8c56b4cf2a6afa4a7946b68e7232 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'):