diff options
| author | tgrogers <[email protected]> | 2017-08-14 13:09:51 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2017-08-14 13:09:51 -0400 |
| commit | f53e6f0c2417383f08ab313e3ad124d6dc6345db (patch) | |
| tree | cb291352bee859609a9e30fd1d8f987ebd54b37f | |
| parent | 06e21dda283bc3a1a9939f8b59bf2729438ec4fa (diff) | |
It wants a string literal
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index bc8127d..c7f6ac1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,11 +6,11 @@ pipeline { stages { stage('simulator-build') { steps { - parallel 4.2: { + parallel "4.2": { sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/4.2_env_setup.sh &&\ source `pwd`/setup_environment && \ make -j' - }, 8.0: { + }, "8.0": { sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/8.0_env_setup.sh &&\ source `pwd`/setup_environment && \ make -j' |