3 commits

Author	SHA1	Message	Date
Manuel Alejandro de Brito Fontes	edf2b03c22	Fix error deleting temporal directory in case of errors (#4257)	2019-07-03 22:21:20 -04:00
Manuel Alejandro de Brito Fontes	e2d276f204	Lint shell scripts	2019-06-28 17:44:16 -04:00
Manuel Alejandro de Brito Fontes	ddffa2a173	Enable arm again	2019-06-26 23:00:58 -04:00