diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:34:23 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:34:23 +0100 |
| commit | 16f42e85a064d690f05459306f6b1ea0f70c9ab3 (patch) | |
| tree | ee2c45c6ad8f7dafba87408d9407c9a35bc46b23 | |
| parent | cdef82d6d86ccdf355e4ce5cfd4f3b5382dbe6dd (diff) | |
ci: Add retry loop to 'cabal update'
| -rwxr-xr-x | scripts/ci/retry.sh (renamed from scripts/retry.sh) | 0 | ||||
| -rw-r--r-- | scripts/ci/steps/10-dependencies.sh | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/scripts/retry.sh b/scripts/ci/retry.sh index 285648e..285648e 100755 --- a/scripts/retry.sh +++ b/scripts/ci/retry.sh diff --git a/scripts/ci/steps/10-dependencies.sh b/scripts/ci/steps/10-dependencies.sh index 290cce2..c718421 100644 --- a/scripts/ci/steps/10-dependencies.sh +++ b/scripts/ci/steps/10-dependencies.sh @@ -1,3 +1,3 @@ -cabal update +"$CI_SCRIPTS_DIR"/retry.sh cabal update cabal --sandbox-config="$sandbox_config" sandbox init --sandbox="$sandbox" cabal --sandbox-config="$sandbox_config" install --only-dependencies |