Merge remote-tracking branch 'origin/ver/1.12.2' into ver/1.12.2

2020-12-17 18:31:16 +01:00
parent 8f421ffb2a 7fe2637206
commit 5551f505a1
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -9,7 +9,7 @@ pipeline {

    stage('Build') {
      steps {
-        sh 'bash ./scripts/inst.sh --setup --fast --remote'
+        sh 'bash ./scripts/inst.sh --setup --fast'
      }
    }