[commit: ghc] wip/jenkins: Fix configure arguments (0b0f156)

[git at git.haskell.org]

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

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

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

commit 0b0f15621d40ee140636b7b0d4787be2e2b92335
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Mon May 29 22:55:51 2017 -0400

    Fix configure arguments


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

0b0f15621d40ee140636b7b0d4787be2e2b92335
 Jenkinsfile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 90cf036..b2bd47a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,19 +108,19 @@ def buildGhc(params) {
     }
     writeFile(file: 'mk/build.mk', text: build_mk)
 
-    def configure_opts = '--enable-tarballs-autodownload'
+    def configure_opts = ['--enable-tarballs-autodownload']
     if (crossTarget) {
-      configure_opts += "--target=${crossTarget}"
+      configure_opts += '--target=${crossTarget}'
     }
     if (disableLargeAddrSpace) {
-      configure_opts += "--disable-large-address-space"
+      configure_opts += '--disable-large-address-space'
     }
     if (unreg) {
-      configure_opts += "--enable-unregisterised"
+      configure_opts += '--enable-unregisterised'
     }
     sh """
        ./boot
-       ./configure ${configure_opts}
+       ./configure ${configure_opts.join(' ')}
        """
   }