diff options
| author | Joseph Hunkeler <jhunkeler@users.noreply.github.com> | 2017-07-05 13:30:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 13:30:16 -0400 |
| commit | ef1b5561cadaa5088fc44c8e8a6b716604a52718 (patch) | |
| tree | eff5732b7cd53cd06f10325f038de702ba7a9575 | |
| parent | 51d3335c47cbc5ab583263064bee293b89ef166d (diff) | |
| download | hello_world-ef1b5561cadaa5088fc44c8e8a6b716604a52718.tar.gz | |
Update Jenkinsfile
| -rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index f8a8441..fcb1e0c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,8 +9,10 @@ pipeline { stages { stage('Bootstrap') { steps { - cinst = new CondaInstaller("${WORKSPACE}/tmp") - cinst.install() + script { + cinst = new CondaInstaller("${WORKSPACE}/tmp") + cinst.install() + } } } stage('Build') { |