diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-08-17 23:52:29 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-17 23:52:29 -0400 |
| commit | 68b5bfeaaae52d77aacd948e7580bd70aee0122c (patch) | |
| tree | c899d9c45c7f1adff9bbf1efb1e829600f807a4f | |
| parent | 9bcaa5aa2360d7449b054cecb9ea32337c108c91 (diff) | |
| download | haskell-68b5bfeaaae52d77aacd948e7580bd70aee0122c.tar.gz | |
More debug
| -rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5c5cebe2e1..1103e80c78 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -159,8 +159,8 @@ def buildGhc(params) { String makeCmd = params?.makeCmd ?: 'make' withGhcSrcDist() { - echo '${targetTriple}' - echo '${params}' + echo "${targetTriple}" + echo "${params}" stage('Configure') { sh 'echo $PATH' sh "which ghc" @@ -189,7 +189,7 @@ def buildGhc(params) { def configure_opts = [] if (crossCompiling) { - configure_opts += '--target=${targetTriple}' + configure_opts += "--target=${targetTriple}" } if (disableLargeAddrSpace) { configure_opts += '--disable-large-address-space' |