diff --git a/Jenkinsfile b/Jenkinsfile index 0294651..8f5057f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,6 +10,7 @@ def build_docker(name) { //echo "build ${image} ${args}" sh "docker build ${args} --no-cache -t ${image} ." } + return "\n - ${image}" } node { checkout scm @@ -23,11 +24,13 @@ node { } //println "done!" //println "${_envmap}" + def _msg = "Built images:" def platforms = ['debian', 'osx', 'windows', 'android', 'pi'] for (int i = 0; i < platforms.size(); ++i) { //echo "check BUILD_${platforms[i]} -> ${_v}" if (_envmap["BUILD_${platforms[i]}"] == "1") { - build_docker("${platforms[i]}") + _msg += build_docker("${platforms[i]}") } } + echo "${_msg}" }