Update 'Jenkinsfile'

2022-09-29 23:49:17 +02:00 · 2022-09-29 23:49:17 +02:00 · 8d9cf85cd7
commit 8d9cf85cd7
parent 39a4900831
1 changed files with 6 additions and 0 deletions
--- a/6
+++ b/6
@ -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
        '''
      }