diff options
| author | Timothy G Rogers <[email protected]> | 2018-03-27 10:20:26 -0400 |
|---|---|---|
| committer | GitHub Enterprise <[email protected]> | 2018-03-27 10:20:26 -0400 |
| commit | d936eadf3c10dc70cc89f59e36b9984a137c53cf (patch) | |
| tree | 40cecc895d6ba261428c530b4d99cec81d775206 /Jenkinsfile | |
| parent | 89c198ba1f271bfc12a6c7d9c471e62a8daa5634 (diff) | |
| parent | 28ac03ba1056718d9ec904f3b76319d8e9e2dfd0 (diff) | |
Merge branch 'dev-purdue-integration' into dev-purdue-integration
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2cff7b2..d03e7b9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,6 +3,10 @@ pipeline { label "purdue-cluster" } + options { + disableConcurrentBuilds() + } + stages { stage('simulator-build') { steps { |