diff options
author | Lars Wirzenius <liw@liw.fi> | 2012-12-15 15:09:49 +0000 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2012-12-15 15:09:49 +0000 |
commit | a3a99d3d3d167a2ff0d19e7d1f019ad6e53c6e27 (patch) | |
tree | 169d8340bb27124c3798b31806769024e2175a74 /jenkinstool | |
parent | ad934fe3d1d4fd622b027ddcc1721f07fcc25479 (diff) | |
download | jenkinstool-a3a99d3d3d167a2ff0d19e7d1f019ad6e53c6e27.tar.gz |
Add optional field to turn off Debian packaging jobs
Diffstat (limited to 'jenkinstool')
-rwxr-xr-x | jenkinstool | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/jenkinstool b/jenkinstool index 4727765..014c6a5 100755 --- a/jenkinstool +++ b/jenkinstool @@ -391,21 +391,22 @@ setup_pbuilder "$pbuilder_release_tgz" yes jobs.append(self.tarball_job(main_host, project)) - done = set() - for host in config['hosts']: - if host['debian-dist'] not in done: - jobs.append(self.dsc_job(host, project)) + if project.get('debian', True): + done = set() + for host in config['hosts']: + if host['debian-dist'] not in done: + jobs.append(self.dsc_job(host, project)) + jobs.append(self.process_incoming_job( + config, localhost, project, 'dsc_%s' % host['name'])) + done.add(host['debian-dist']) + + build_all_dists = set() + for host in config['hosts']: + build_all = host['debian-dist'] not in build_all_dists + build_all_dists.add(host['debian-dist']) + jobs.append(self.deb_job(host, project, build_all)) jobs.append(self.process_incoming_job( - config, localhost, project, 'dsc_%s' % host['name'])) - done.add(host['debian-dist']) - - build_all_dists = set() - for host in config['hosts']: - build_all = host['debian-dist'] not in build_all_dists - build_all_dists.add(host['debian-dist']) - jobs.append(self.deb_job(host, project, build_all)) - jobs.append(self.process_incoming_job( - config, localhost, project, 'deb_%s' % host['name'])) + config, localhost, project, 'deb_%s' % host['name'])) return [(jc.job_id(), jc.tostring()) for jc in jobs] |