diff options
| author | Bernard Xiong <[email protected]> | 2018-08-29 02:17:32 +0100 |
|---|---|---|
| committer | Bernard Xiong <[email protected]> | 2018-08-29 02:17:32 +0100 |
| commit | 240451b978d5775f0e936ed57d682ca1ccee604d (patch) | |
| tree | e56adcaa742ac0091c63a9b1800369b7d194258e | |
| parent | dffc1bfd552e9fcf24644e96552f8eb5a9905546 (diff) | |
[skip ci] Fix the rsplit issue in Linux
| -rw-r--r-- | tools/utils.py | 11 |
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 != []: |
