diff --git a/Jenkinsfile b/Jenkinsfile index 7620553..314c605 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -29,7 +29,9 @@ node { for (int i = 0; i < platforms.size(); ++i) { //echo "check BUILD_${platforms[i]} -> ${_v}" if (_envmap["BUILD_${platforms[i]}"] == "1") { - _msg += build_docker("${platforms[i]}") + stage("${platforms[i]}-libs") { + _msg += build_docker("${platforms[i]}") + } } } echo "${_msg}" diff --git a/pip b/pip index 25ddc83..e85275c 160000 --- a/pip +++ b/pip @@ -1 +1 @@ -Subproject commit 25ddc832af39cf0c0aa31a3dcb7fd541fb1c22b9 +Subproject commit e85275c58732532866ad40541b75cb32aed37108