diff options
| -rwxr-xr-x | bin/reproducible_scheduler.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index 8ecca8a0..7baf2df4 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -29,9 +29,11 @@ from reproducible_html_packages import purge_old_pages def call_apt_update(suite): # try three times, before failing the job for i in [1, 2, 3]: - if not call(['schroot', '--directory', '/root', '-u', 'root', \ - '-c', 'source:jenkins-reproducible-'+suite, '--', \ - 'apt-get', 'update']): + to_call =['schroot', '--directory', '/root', '-u', 'root', \ + '-c', 'source:jenkins-reproducible-'+suite, '--', \ + 'apt-get', 'update'] + log.debug('calling ' + ' '.join(to_call)) + if not call(to_call): return else: log.warning('`apt-get update` failed. Retrying another ' + str(3-i) |