updated Jenkinsfile

pull/2/head
Hari Sekhon 4 years ago
parent d159983639
commit 419ba9a2c1

1
Jenkinsfile vendored

@ -71,6 +71,7 @@ pipeline {
// apt install -qy make
// make init
// """
sh 'git submodule update --init'
sh 'find . -maxdepth 3 -name ci_bootstrap.sh | head -n 1 | xargs sh'
sh 'make init'
}

Loading…
Cancel
Save