Debug
[ghc.git] / Jenkinsfile
index c86060c..5c5cebe 100644 (file)
@@ -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"