try to get it working

diff --git a/build.py b/build.py
index 1266d1bf90b3762faee2c750d3113637687bf480..6c6fa5594fc14390a30d41ce51221b586fe43e43 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -261,7 +261,7 @@ if __name__ == '__main__':
 
     repo = git.repo.Repo()
     # hacked by holger
-    repo.heads.develop.checkout()
+    git_helper.git_checkout_branch('develop')
     
     if repo.active_branch != 'master' and GIT_DEBIAN_BRANCH != 'master':
         git_helper.git_checkout_branch(GIT_DEBIAN_BRANCH)