debian_build: accept integration jobs for experimental branches

diff --git a/debian_build.py b/debian_build.py
index 484488dc1f114199336ad02c7a04da45895414b0..261a61b9d01a34d46b3e2c7eb528f710d647c9d5 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -210,7 +210,7 @@ if __name__ == '__main__':
             do_cidb = True
 
     elif re.match(EXPERIMENTAL_BRANCHES_RE, ENV['GIT_BRANCH']):
-        if not re.match('^dev_.*$', ENV['JOB_NAME']):
+        if not re.match('^(dev_|integration_).*$', ENV['JOB_NAME']):
             logger.error('Use the appropriate job to build for branch "{branch}"!'.format(
                 branch=local_branch,
             ))