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