[commit: ghc] wip/jenkins: Add THREADS parameter (376307d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/jenkins
Link       : http://ghc.haskell.org/trac/ghc/changeset/376307d96773bc21f971bc4e41792bc79492f26f/ghc

>---------------------------------------------------------------

commit 376307d96773bc21f971bc4e41792bc79492f26f
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat May 13 11:59:37 2017 -0400

    Add THREADS parameter


>---------------------------------------------------------------

376307d96773bc21f971bc4e41792bc79492f26f
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f643e51..b661917 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,8 @@
 pipeline {
   agent any
   parameters {
-    booleanParam(name: 'build_docs', defaultValue: false, description: 'build and upload documentation')
+    booleanParam(name: 'build_docs', defaultValue: false, description: 'build and upload documentation'),
+    string(name: 'THREADS', defaultValue: '2', description: 'available parallelism')
   }
 
   stages {