diff options
| author | tgrogers <[email protected]> | 2017-08-14 12:31:53 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2017-08-14 12:31:53 -0400 |
| commit | 15d071a76c34587f82b18b8354cfc75e923f6030 (patch) | |
| tree | 01d603f6fe5cb3a057b46aa0a9a526878274d575 | |
| parent | 90ba89e6569b9727ac158efc768dd72229637018 (diff) | |
No quotes?
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5708add..8096eed 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { stages { parallel ( - "4.2 Tests" : { + 4.2-Tests: { stage('4.2-simulator-build'){ steps { sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/4.2_env_setup.sh &&\ @@ -35,7 +35,7 @@ pipeline { } } - "8.0 Tests" : { + 8.0-Tests : { stage('8.0-simulator-build'){ steps { sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/8.0_env_setup.sh &&\ |