undebug
authorBen Gamari <ben@smart-cactus.org>
Sat, 19 Aug 2017 14:37:22 +0000 (10:37 -0400)
committerBen Gamari <ben@smart-cactus.org>
Sat, 19 Aug 2017 14:37:22 +0000 (10:37 -0400)
Jenkinsfile

index 1103e80..9f4118f 100644 (file)
@@ -159,8 +159,6 @@ def buildGhc(params) {
   String makeCmd = params?.makeCmd ?: 'make'
 
   withGhcSrcDist() {
-    echo "${targetTriple}"
-    echo "${params}"
     stage('Configure') {
       sh 'echo $PATH'
       sh "which ghc"