diff --git a/Jenkinsfile b/Jenkinsfile index 41b24f1..6cc1d5e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -78,6 +78,12 @@ pipeline{ } sh''' mv antos/frontend/master antos/frontend/latest + # clean up servies + find antos/ -name "systemd" -exec rm -rv {} +; + # header files + find antos/ -name "include" -exec rm -rv {} +; + # .la files + find antos/ -name "*.la" -type f -delete tree antos ''' }