diff options
| author | Bernard Xiong <[email protected]> | 2018-11-23 17:16:27 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-11-23 17:16:27 +0800 |
| commit | 8f1272cd8fd9a1f40f7ce92fa1b8294fb7890f4b (patch) | |
| tree | fe566bb4c29837e2053eb4a70a484ff66967c0f7 | |
| parent | 8206a5ddea2b6bf74aaff42c4b8178ddf3a25032 (diff) | |
| parent | 3c9f58a7abf015260e9aeffc97be2bd172c523e7 (diff) | |
Merge pull request #2000 from XXXXzzzz000/fix_build_bug
[tools] fix bug.
| -rw-r--r-- | tools/utils.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/utils.py b/tools/utils.py index 692cf36c69..6dc56322a5 100644 --- a/tools/utils.py +++ b/tools/utils.py @@ -245,7 +245,9 @@ def ProjectInfo(env): return proj def VersionCmp(ver1, ver2): - la = ver1.split('.') + la=[]; + if ver1: + la = ver1.split('.') lb = ver2.split('.') f = 0 if len(la) > len(lb): |