diff --git a/Jenkinsfile b/Jenkinsfile index 17e7bec6..8acebc12 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,6 +11,7 @@ pipeline { cd ./agbcc sh build.sh sh install.sh ../tmc + cd ../tmc sh 'make -j setup' } }