Merge "Build on jenkins nodes with label docker"

diff --combined Jenkinsfile
index 853cc61,6ed5423..cf1137b
--- 1/Jenkinsfile
--- 2/Jenkinsfile
+++ b/Jenkinsfile
@@@ -6,7 -6,6 +6,7 @@@ properties(
          string(defaultValue: env.GERRIT_PATCHSET_REVISION, description: '', name: 'GERRIT_PATCHSET_REVISION'),
          string(defaultValue: 'https://osm.etsi.org/gerrit', description: '', name: 'PROJECT_URL_PREFIX'),
          booleanParam(defaultValue: true, description: '', name: 'BUILD_SYSTEM'),
 +        string(defaultValue: 'artifactory-osm', description: '', name: 'ARTIFACTORY_SERVER'),
      ])
  ])
  
@@@ -16,7 -15,7 +16,7 @@@ def devops_checkout() 
      }
  }
  
- node {
+ node('docker') {
      checkout scm
      devops_checkout()
  
@@@ -27,6 -26,5 +27,6 @@@
                             params.GERRIT_BRANCH,
                             params.GERRIT_REFSPEC,
                             params.GERRIT_PATCHSET_REVISION,
 -                           params.BUILD_SYSTEM)
 +                           params.BUILD_SYSTEM,
 +                           params.ARTIFACTORY_SERVER)
  }