From f1db6f7628482b26e4265471e6d438e51ae1544c Mon Sep 17 00:00:00 2001 From: Ryan Taylor <90803397+rtaylorzfin@users.noreply.github.com> Date: Sat, 16 Dec 2023 09:36:03 -0800 Subject: [PATCH] UniProt-Diff-Load bugfix: $WORKSPACE is wrong (#887) On trunk, I discovered that the value we get from the $WORKSPACE variable does not match the actual workspace that jenkins is using. This is apparent when viewing the console log: ``` Building in workspace /opt/zfin/www_homes/trunk/server_apps/jenkins/jenkins-home/jobs/UniProt-Diff-Load/workspace [workspace] $ /bin/sh -xe /tmp/jenkins13438737710530707733.sh + echo WORKSPACE=/opt/zfin/source_roots/trunk/ZFIN_WWW WORKSPACE=/opt/zfin/source_roots/trunk/ZFIN_WWW ``` Taken from: https://trunk.zfin.org/jobs/job/UniProt-Diff-Load/7/console --- server_apps/jenkins/jobs/UniProt-Diff-Load/config.xml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/server_apps/jenkins/jobs/UniProt-Diff-Load/config.xml b/server_apps/jenkins/jobs/UniProt-Diff-Load/config.xml index 507b4cf547..76dfa9d6cb 100644 --- a/server_apps/jenkins/jobs/UniProt-Diff-Load/config.xml +++ b/server_apps/jenkins/jobs/UniProt-Diff-Load/config.xml @@ -37,11 +37,12 @@