emsbuild.sh: Outdated option "ruledit" used

• Informador: cazfi
• Propietario: cazfi
• Tipo: Bugs
• Estado: Cerrado
• Componente: Bootstrap
• Hito: 3.2.0
• Prioridad: 5 - Medium
• Gravedad: 5 - Medium
• Resolución: Fixed
• Fichero: 1

Details

emsbuild.sh tries to set configure option "ruledit" which no longer exist. Replace it with "tools" option.

Ticket History (3/4 Histories)

2023-10-10 08:41 Updated by: cazfi

• New Ticket "emsbuild.sh: Outdated option "ruledit" used" created

2023-10-10 08:43 Updated by: cazfi

• File 0039-emsbuild.sh-Replace-configure-option-ruledit-with-to.patch (File ID: 13513) is attached

2023-10-10 08:44 Updated by: cazfi

• Propietario Update from (Ninguno) to cazfi
• Resolución Update from Ninguno to Accepted

2023-10-16 07:56 Updated by: cazfi

• Estado Update from Open to Cerrado
• Resolución Update from Accepted to Fixed