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

2020-11-26 14:51:03 +01:00
parent c120dafe85 044759f197
commit c4db74f13a
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@@ -3,8 +3,8 @@ pipeline {
  stages {
    stage('Build') {
      steps {
-        //sh 'bash ./scripts/build.sh'
-        sh 'bash ./scripts/inst.sh --setup --fast --remote'
+        sh 'chmod +x scripts/inst.sh'
+        sh 'sh ./scripts/inst.sh --setup --remote'
      }
    }