From 8d9cf85cd7cac001d8c697d5946aca7c95b2a9b8 Mon Sep 17 00:00:00 2001 From: dany Date: Thu, 29 Sep 2022 23:49:17 +0200 Subject: [PATCH] Update 'Jenkinsfile' --- Jenkinsfile | 6 ++++++ 1 file changed, 6 insertions(+) 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 ''' }