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

2020-11-19 19:13:20 +01:00
parent 36543cabf5 2173b1e2bc
commit 2df37be2e2
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -10,7 +10,7 @@ pipeline {
    stage('Build') {
      steps {
        sh 'bash ./scripts/build.sh'
-        sh 'bash ./scripts/inst.sh --setup --fast'
+        sh 'bash ./scripts/inst.sh --setup --fast --remote'
      }
    }