handle module name changes
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Mon, 3 Jan 2011 14:35:43 +0000 (15:35 +0100)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Mon, 3 Jan 2011 14:35:43 +0000 (15:35 +0100)
module-tools.py

index 3ddfb6d..959a0e1 100755 (executable)
@@ -1204,7 +1204,8 @@ class Build(Module):
             try:
                 name, url = line.split(':=')
                 name, git_or_svn_path = name.rsplit('-', 1)
-                modules[name.strip()] = (git_or_svn_path.strip(), url.strip())
+                name = svn_to_git_name(name.strip())
+                modules[name] = (git_or_svn_path.strip(), url.strip())
             except:
                 pass
         return modules