diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-08-17 23:50:28 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-17 23:50:28 -0400 |
commit | 9bcaa5aa2360d7449b054cecb9ea32337c108c91 (patch) | |
tree | 306bdb76feb3409ad8e1c9cda987f352678458bb | |
parent | 9ee04c881e781ba00989da2294a12269086714b8 (diff) | |
download | haskell-9bcaa5aa2360d7449b054cecb9ea32337c108c91.tar.gz |
Debug
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index c86060cc71..5c5cebe2e1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -159,6 +159,8 @@ def buildGhc(params) { String makeCmd = params?.makeCmd ?: 'make' withGhcSrcDist() { + echo '${targetTriple}' + echo '${params}' stage('Configure') { sh 'echo $PATH' sh "which ghc" |