Update Jenkinsfile

2020-11-24 11:22:39 +01:00
parent 768ac2f14c
commit 810c8a5d00
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -9,6 +9,7 @@ pipeline {

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