Alexander Block 41f46f5ea6 Remove --retry from curl call ... This avoids future confusion as we don't rely on curl anymore to properly retry downloads. curls does only retry on transient errors, while Travis might cause all kinds of errors which circumvent the retry logic of curl.		2019-06-26 08:01:15 +02:00
..
darwin.mk	Remove --retry from curl call	2019-06-26 08:01:15 +02:00
default.mk
linux.mk	Remove --retry from curl call	2019-06-26 08:01:15 +02:00