From b8e4e7203f36bf1da6a6840dd47b7e2d82c20264 Mon Sep 17 00:00:00 2001
From: Ivan Pelipenko <peri4ko@yandex.ru>
Date: Thu, 28 May 2020 15:06:32 +0300
Subject: [PATCH] Jenkinsfile pip doc works

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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