-
Nikos Skalkotos authored
Ignore SIGPIPE errors in curl to workaround a known bug. Use md5sum to check the integrity of the downloaded file. This Fixes #55
a821f029
Ignore SIGPIPE errors in curl to workaround a known bug. Use md5sum to check the integrity of the downloaded file. This Fixes #55