try to get it working

diff --git a/build.py b/build.py
index 432c82d191b63a4b4789249db3d1a32ae3398d2a..457b507d9b471dd0c701d510e437ac1428bde031 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -261,7 +261,9 @@ if __name__ == '__main__':
 
     repo = git.repo.Repo()
 
-    if repo.active_branch != 'master' and GIT_DEBIAN_BRANCH != 'master':
+    # hacked by holger
+#    if repo.active_branch != 'master' and GIT_DEBIAN_BRANCH != 'master':
+    if GIT_DEBIAN_BRANCH != 'master':
         git_helper.git_checkout_branch(GIT_DEBIAN_BRANCH)
 
     pb_version_path = os.path.join('debian', 'pb_version')