checkout GIT_UPSTREAM_BRANCH before building

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