From 5dcd723dba84e8ca10199c9150a2995be84ce465 Mon Sep 17 00:00:00 2001 From: Yadciel Date: Thu, 27 Apr 2023 09:58:50 +0200 Subject: [PATCH] fix dist ordner --- jenkinsfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/jenkinsfile b/jenkinsfile index 26e5f88..18e713f 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -10,6 +10,9 @@ pipeline { rem Setze den Pfad zum Arbeitsverzeichnis cd C:\\Program Files\\jenkins-agent\\workspace\\TS + rem Lösche den "dist" Ordner, falls er existiert + if exist dist rmdir /s /q dist + rem Führe PyInstaller aus, um die Python-Anwendung in eine einzige ausführbare Datei zu kompilieren python -m PyInstaller --onefile main.py