summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernard Xiong <[email protected]>2018-08-29 02:17:32 +0100
committerBernard Xiong <[email protected]>2018-08-29 02:17:32 +0100
commit240451b978d5775f0e936ed57d682ca1ccee604d (patch)
treee56adcaa742ac0091c63a9b1800369b7d194258e
parentdffc1bfd552e9fcf24644e96552f8eb5a9905546 (diff)
[skip ci] Fix the rsplit issue in Linux
-rw-r--r--tools/utils.py11
1 files changed, 7 insertions, 4 deletions
diff --git a/tools/utils.py b/tools/utils.py
index fa501096a4..fb151189d8 100644
--- a/tools/utils.py
+++ b/tools/utils.py
@@ -114,11 +114,14 @@ def walk_children(child):
# print child
full_path = child.rfile().abspath
- file_type = full_path.rsplit('.',1)[1]
+ file_type_list = full_path.rsplit('.',1)
#print file_type
- if file_type in source_ext:
- if full_path not in source_list:
- source_list.append(full_path)
+ if (len(file_type_list) > 1):
+ file_type = full_path.rsplit('.',1)[1]
+
+ if file_type in source_ext:
+ if full_path not in source_list:
+ source_list.append(full_path)
children = child.all_children()
if children != []: