docker, Jenkinsfile

Jenkinsfile

@@ -1,5 +1,5 @@
 def build_docker(name) {
-    def image = "${name}-libs"
+    def image = "${name}-shstk"
     echo "Build image ${image}"
 	def pref = ""
     if (env.DOCKER_PREFIX) {
@@ -31,7 +31,7 @@ node {
     def platforms = ['debian', 'osx', 'windows', 'android', 'pi']
 	for (int i = 0; i < platforms.size(); ++i) {
 	    if (_envmap["BUILD_${platforms[i]}"] == "1") {
-			stage("${platforms[i]}-libs") {
+			stage("${platforms[i]}-shstk") {
 				_msg += build_docker("${platforms[i]}")
 			}
 	    }