Merge branch 'master' into chenyong

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 != []: