From f3f0fe85732d75159271f59db9baccef21f4d937 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Tue, 27 Nov 2012 15:00:18 +0000
Subject: Make sure the source directory it's a git repository

Otherwise we pull in the sugar-build repo with not so nice
consequences.
---
(limited to 'devbot')

diff --git a/devbot/build.py b/devbot/build.py
index ae100f2..38cd816 100644
--- a/devbot/build.py
+++ b/devbot/build.py
@@ -75,7 +75,7 @@ def _unlink_libtool_files():
 def _pull_git_module(module):
     module_dir = module.get_source_dir()
 
-    if os.path.exists(module_dir):
+    if os.path.exists(os.path.join(module_dir, ".git")):
         os.chdir(module_dir)
 
         command.run(["git", "remote", "set-url", "origin", module.repo])
--
cgit v0.9.1