Alexander Block 0410259dd5 Fix 2 common Travis failures which happen when Travis has network issues (#3003) ... * Retry downloading of depends sources 3 times * Manually invoke apt-get update and install instead of using addon This allows us to use travis_retry on these operations. * Add exception for depends/Makefile in .gitignore * 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-07-02 06:41:10 +02:00
..
darwin.mk	Fix 2 common Travis failures which happen when Travis has network issues (#3003)	2019-07-02 06:41:10 +02:00
default.mk	depends: add shared dependency builder	2014-08-08 15:10:46 -04:00
linux.mk	Fix 2 common Travis failures which happen when Travis has network issues (#3003)	2019-07-02 06:41:10 +02:00