try to get it working

diff --git a/build.py b/build.py
index 6c6fa5594fc14390a30d41ce51221b586fe43e43..c7d326d5bf03f53f7e2c32a215b975091efe8463 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -261,7 +261,8 @@ if __name__ == '__main__':
 
     repo = git.repo.Repo()
     # hacked by holger
-    git_helper.git_checkout_branch('develop')
+    cmd = ['/usr/bin/git', 'checkout', 'develop']
+    subprocess.check_call(cmd)
     
     if repo.active_branch != 'master' and GIT_DEBIAN_BRANCH != 'master':
         git_helper.git_checkout_branch(GIT_DEBIAN_BRANCH)