diff options
| author | Bernard Xiong <[email protected]> | 2014-10-08 22:10:25 +0800 |
|---|---|---|
| committer | Bernard Xiong <[email protected]> | 2014-10-08 22:10:25 +0800 |
| commit | c7ee7f9858f2cc86d94a2eea8baacfc449865e9a (patch) | |
| tree | 95eaf6ad6d40f311c09a4fa98ee016bf73c856e5 /tools/building.py | |
| parent | 8b8d69f66e5296bcb5a215b91d879ac14aa3e3fc (diff) | |
| parent | 4d2972a85f654a7d699a758c26793a029fb5f960 (diff) | |
Merge pull request #352 from grissiom/fix-tools-srcremove-st
tools: fix SrcRemove on empty src
Diffstat (limited to 'tools/building.py')
| -rw-r--r-- | tools/building.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/building.py b/tools/building.py index 3c2dbc4e74..83f034deb3 100644 --- a/tools/building.py +++ b/tools/building.py @@ -493,6 +493,9 @@ def EndBuilding(target, program = None): CscopeDatabase(Projects) def SrcRemove(src, remove): + if not src: + return + if type(src[0]) == type('str'): for item in src: if os.path.basename(item) in remove: |