tree 417734592619179a61fcfdb62baf90053dddee3d
parent 4adc16f7e453de014abc97ac254c105ab120caae
author Sean Dague <sean@dague.net> 1403525465 -0400
committer Sean Dague <sean@dague.net> 1403528782 -0400

retry apt operations to avoid network issues

One of the major gate failures is do to something being wrong with
the apt mirrors. The Acquire group provides an implicit retry on
network operations which seems like it might be helpful here.

Ref: http://linux.die.net/man/5/apt.conf

Change-Id: I099f47ed86ad6a3d4296bff4cce75e7f7d946d27
Related-Bug: #1286635