diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2019-06-17 19:24:07 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-06-17 23:25:09 +0200 |
commit | 0b0adc9d5bab8e36011ee120806e56f7d355810b (patch) | |
tree | 331d18901aefad1fe76a7bae7dbe7ef1148f0868 /scripts | |
parent | 1501452f83cde1cd33d6e98ab45738008a2ff914 (diff) |
ci: Allow using latest Hackage index with CI_USE_COMMIT_INDEX_STATE=true
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/ci/steps/10-update.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/ci/steps/10-update.sh b/scripts/ci/steps/10-update.sh index 7d0f042..d62e95d 100644 --- a/scripts/ci/steps/10-update.sh +++ b/scripts/ci/steps/10-update.sh @@ -1 +1,6 @@ -"$CI_SCRIPTS_DIR"/retry.sh cabal v2-update --index-state="@$(git show -s --format=%ct HEAD)" +update_args= +if ${CI_USE_COMMIT_INDEX_STATE:-true}; then + update_args=--index-state="@$(git show -s --format=%ct HEAD)" +fi + +"$CI_SCRIPTS_DIR"/retry.sh cabal v2-update $update_args |