diff options
Diffstat (limited to 'bin/reproducible_common.py')
| -rwxr-xr-x | bin/reproducible_common.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index f7a2a7d6..ed095e07 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -171,17 +171,14 @@ try: except KeyError: JOB_URL = '' JOB_NAME = '' - JOB_FOOTER = '' else: JOB_NAME = os.path.basename(JOB_URL[:-1]) - JOB_FOOTER = 'This page was built by the jenkins job <a href="'+JOB_URL+'">' - JOB_FOOTER += JOB_NAME+'</a> which is configured via this ' - JOB_FOOTER += '<a href="https://anonscm.debian.org/git/qa/jenkins.debian.net.git/">git repo</a>.' def create_default_page_footer(date): return renderer.render(default_page_footer_template, { 'date': date, - 'job_footer': JOB_FOOTER, + 'job_url': JOB_URL, + 'job_name': JOB_NAME, 'jenkins_url': JENKINS_URL, }) |