Merge pull request 'Jenkinsfile' (#8) from master into release

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}"
 }