From 63d5f8d1d740f4f79c2d400b07f05d89fd46f5a7 Mon Sep 17 00:00:00 2001
From: Guilhem Lavaux <lavaux@iap.fr>
Date: Mon, 13 Jun 2016 10:21:23 +0200
Subject: [PATCH] Fixlet

---
 build_tools/gather_sources.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build_tools/gather_sources.py b/build_tools/gather_sources.py
index 85d7d43..d3008a4 100644
--- a/build_tools/gather_sources.py
+++ b/build_tools/gather_sources.py
@@ -141,7 +141,9 @@ def analyze_tree(prefix, t):
     ename = entry.name
     if ename == 'external' or ename == 'zobov':
       continue
-    if type(entry) == Tree:
+    if type(entry) == Submodule:
+      continue
+    elif type(entry) == Tree:
       analyze_tree(prefix + "/" + ename, entry)
     elif type(entry) == Blob:
       if ename == './src/hdf5_flash.h' or ename == './src/h5_readFlash.cpp' or ename == './src/h5_readFlash.hpp':