diff options
| author | Bernard Xiong <[email protected]> | 2014-10-08 22:10:13 +0800 |
|---|---|---|
| committer | Bernard Xiong <[email protected]> | 2014-10-08 22:10:13 +0800 |
| commit | a4bb77d09740df6838fcf5a818da3ad0975a4293 (patch) | |
| tree | 98ad53e3ef1b702407a0f68d940698ab7eb887b1 | |
| parent | 08bcf51bb46e3f615e15e675b5b0ca6380dabd54 (diff) | |
| parent | d33df46f1921f241199e7520e384e851840571ef (diff) | |
Merge pull request #351 from grissiom/fix-tools-srcremove
tools: fix SrcRemove on empty src
| -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 24f661de88..79e6fd1a4b 100644 --- a/tools/building.py +++ b/tools/building.py @@ -495,6 +495,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: |