diff options
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 |