diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-11-21 18:27:06 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-11-21 18:27:06 +0000 |
| commit | fe8de9444fb6ce90216a9b8268d8a13daa9a9f2a (patch) | |
| tree | 494586da724060cf8c8fa229bb2780a0bb5fd4a8 /Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect | |
| parent | f19110ec25d4ee962558627150d22e4c8a26a2a0 (diff) | |
Teach the TravisCI build to use the ``travis_retry`` command when
using NuGet.
The motivation here is that the ``nuget`` command is a little flakey
(sometimes it times out) in the legacy TravisCI infrastructure. This
command will retry the command passed to it a few times. Hopefully
this will stop the random build failures we've been having.
Diffstat (limited to 'Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect')
0 files changed, 0 insertions, 0 deletions