diff options
| author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-06-13 19:07:47 +0300 |
|---|---|---|
| committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-06-13 19:07:47 +0300 |
| commit | 00f7811683705b8133f3533a9b1ec09fc92ab432 (patch) | |
| tree | e7c5134a2733946a8c56441b4de2361c9ebbe543 /packaging | |
| parent | c5b00568ba4d436d55d74caae58247cfdd43a4f7 (diff) | |
[ci] Get rid of remaining usages of WORKSPACE env var
Most of it was already removed in ea519ada8c38cae67f56e27ca70d32923ce9f23a
Diffstat (limited to 'packaging')
| -rwxr-xr-x | packaging/Windows/defs/mono | 2 | ||||
| -rwxr-xr-x | packaging/Windows/defs/mono64 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/packaging/Windows/defs/mono b/packaging/Windows/defs/mono index 0aec09d9ea3..aa7f81f8340 100755 --- a/packaging/Windows/defs/mono +++ b/packaging/Windows/defs/mono @@ -29,7 +29,7 @@ build() pushd ${REPODIR} report "Building Mono" mkdir -p ${INSTALLDIR} - WORKSPACE=${REPODIR} EXTRA_CONF_FLAGS="--prefix=${INSTALLDIR}" ghprbPullId=1 CI_TAGS="no-tests" label="w32" scripts/ci/run-jenkins.sh || error "*** Could not run autogen ***" + EXTRA_CONF_FLAGS="--prefix=${INSTALLDIR}" CI_TAGS="no-tests" label="w32" scripts/ci/run-jenkins.sh || error "*** Could not run autogen ***" popd } diff --git a/packaging/Windows/defs/mono64 b/packaging/Windows/defs/mono64 index bdfaabbbfac..2d7dcc5f8d8 100755 --- a/packaging/Windows/defs/mono64 +++ b/packaging/Windows/defs/mono64 @@ -29,7 +29,7 @@ build() pushd ${REPODIR} report "Building Mono" mkdir -p ${INSTALLDIR} - WORKSPACE=${REPODIR} EXTRA_CONF_FLAGS="--prefix=${INSTALLDIR}" ghprbPullId=1 CI_TAGS="no-tests" label="w64" scripts/ci/run-jenkins.sh || error "*** Could not run autogen ***" + EXTRA_CONF_FLAGS="--prefix=${INSTALLDIR}" CI_TAGS="no-tests" label="w64" scripts/ci/run-jenkins.sh || error "*** Could not run autogen ***" popd } |