Closed melkyades closed 1 month ago
As the get.pharo.org script fails randomly, make the makefile try once again if first time gave an error before failing the target
As the get.pharo.org script fails randomly, make the makefile try once again if first time gave an error before failing the target