fix dist ordner

2023-04-27 09:58:50 +02:00 · 2023-04-27 09:58:50 +02:00 · 5dcd723dba
commit 5dcd723dba
parent 7324c4374c
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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