diff --git a/Jenkinsfile b/Jenkinsfile
index 4d5d00d..373967b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,7 +32,7 @@ node {
 	for (int i = 0; i < platforms.size(); ++i) {
 	    if (_envmap["BUILD_${platforms[i]}"] == "1") {
 			stage("${platforms[i]}-libs") {
-				//_msg += build_docker("${platforms[i]}")
+				_msg += build_docker("${platforms[i]}")
 			}
 	    }
 	}