aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2019-06-17 19:24:07 +0200
committerDaniel Gröber <dxld@darkboxed.org>2019-06-17 23:25:09 +0200
commit0b0adc9d5bab8e36011ee120806e56f7d355810b (patch)
tree331d18901aefad1fe76a7bae7dbe7ef1148f0868 /scripts
parent1501452f83cde1cd33d6e98ab45738008a2ff914 (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.sh7
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