set distribution to dev_$GIT_BRANCH_NAME for _dev branches

diff --git a/debian_build.py b/debian_build.py
index 409dbf81a53409277e1400c572ba39c82220a88c..c7884ce77e5914e487eee7a43e1c5eb69ad864b7 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -363,13 +363,18 @@ if __name__ == '__main__':
 
         new_log = 'Generated by jenkins build of %s' % git_helper.git_get_commit_id()
 
+        if GIT_BRANCH_NAME == 'experimental' or GIT_BRANCH_NAME.startswith('feature/') or GIT_BRANCH_NAME.startswith('poc/') or GIT_BRANCH_NAME.startswith('bugfix/'):
+            changelog_distro ='dev_'+ GIT_BRANCH_NAME.replace("/","_")
+        else:
+            changelog_distro = options.distribution
+
         cmd = [
                 '/usr/bin/dch',
                 '--newversion',
                 '%s' %(version),
                 '--force-bad-version',
                 '--distribution',
-                '%s' %(options.distribution),
+                '%s' %(changelog_distro),
                 '--preserve',
                 '--no-auto-nmu',
                 '--',