diff options
author | Lars Wirzenius <liw@liw.fi> | 2013-06-14 07:32:25 +0100 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2013-06-14 07:32:25 +0100 |
commit | 1fa037e86a9a1edad3a5e2bef3b15f61104ae714 (patch) | |
tree | be1631c4bd733e25e6817364be064907f74e08ec | |
parent | 20f507162ccda864957d1aa81d450d369cbdb170 (diff) | |
download | jenkinstool-1fa037e86a9a1edad3a5e2bef3b15f61104ae714.tar.gz |
Look for the workspace in both known places
-rwxr-xr-x | jenkinstool | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/jenkinstool b/jenkinstool index 9f25c43..c9655f0 100755 --- a/jenkinstool +++ b/jenkinstool @@ -131,7 +131,15 @@ project_url="%(global.artifacts-url)s/$project" pbuilder_ci_tgz=/var/cache/pbuilder/ci.tgz pbuilder_release_tgz=/var/cache/pbuilder/release.tgz -vcsworkspace="/var/lib/jenkins/jobs/${project}_localhost_vcs-update/workspace" + +vcsproject="${project}_localhost_vcs-update" +if [ -d "/var/lib/jenkins/jobs/${vcsproject}/workspace" ] +then + vcsworkspace="/var/lib/jenkins/jobs/${vcsproject}/workspace" +else + vcsworkspace="/var/lib/jenkins/workspace/${vcsproject}" +fi + workdir="$(pwd)" if [ -e "$vcsworkspace" ] || [ "$have_vcs_copy" = yes ]] then |