Closed mcerdeiro closed 8 years ago
última pregunta antes del merge, estas más o menos seguro que no cambia nada para quien corre en linux y windows?
Vi que ya hiciste el merge asi que la respuesta llega un poco tarde, y lamentablemente después de pensarlo un segundo me di cuenta que si afectaba a los demás, en una forma no muy grave, y es que iba a dar un error al tratar de recargar el driver genérico después de usar openocd. Acabo de subir un fin de esto directamente al master en commit 06767b3
Mariano, ya corregí el tema de los menos delante de las llamadas a OpenOCD. Queda solo la decisión de que hacer sobre la lista de archivos ignorados.