Update Jenkinsfile

2020-11-26 14:50:51 +01:00
parent fbeb9840ea
commit 044759f197
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'
      }
    }