[commit: ghc] wip/jenkins: Add THREADS parameter (0cf1486)

[git at git.haskell.org]

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

On branch  : wip/jenkins
Link       : http://ghc.haskell.org/trac/ghc/changeset/0cf1486e1cfdb7577f1eeea9c2e3d27c2922e630/ghc

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

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

    Add THREADS parameter


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

0cf1486e1cfdb7577f1eeea9c2e3d27c2922e630
 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 {