make dist failing after mp desktop file rename

• Auswertung: cazfi
• Verantwortlicher: cazfi
• Typ: Fehler
• Status: Geschlossen
• Komponente: Bootstrap
• Meilenstein: 3.1.0-beta4 (closed)
• Priorität: 8
• Schweregrad: 5 - Mittel
• Lösung: Gefixt
• Datei: 3

Details

dist CI target:

make[4]: *** No rule to make target 'flatpak/org.freeciv.mp.gtk3.yml', needed by 'distdir-am'.  Stop.

Ticket-Verlauf (3/6 Historien)

2023-09-29 22:37 Aktualisiert von: cazfi

• New Ticket "make dist failing after mp desktop file rename" created

2023-09-29 22:39 Aktualisiert von: cazfi

• File 0001-Fix-make-dist.patch (File ID: 13372) is attached

2023-09-29 22:40 Aktualisiert von: cazfi

• Verantwortlicher Update from (Keine) to cazfi
• Priorität Update from 5 - Mittel to 8

Kommentar

Treating as emergency fix. Patch for main branch attached, and already pushed. Older branches follow.

2023-09-29 22:42 Aktualisiert von: cazfi

• File 0001-Fix-make-dist.patch (File ID: 13373) is attached

2023-09-29 22:43 Aktualisiert von: cazfi

• File 0001-Fix-make-dist.patch (File ID: 13374) is attached

2023-09-29 23:43 Aktualisiert von: cazfi

• Status Update from Offen to Geschlossen
• Lösung Update from Keine to Gefixt