diff options
Diffstat (limited to '.circleci/prepare-system.sh')
| -rwxr-xr-x | .circleci/prepare-system.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/prepare-system.sh b/.circleci/prepare-system.sh index 61396c8eb8..df0da01f35 100755 --- a/.circleci/prepare-system.sh +++ b/.circleci/prepare-system.sh @@ -9,7 +9,7 @@ fail() { echo 'BUILD_SPHINX_HTML = NO' > mk/validate.mk echo 'BUILD_SPHINX_PDF = NO' >> mk/validate.mk -hackage_index_state="@1511758800" +hackage_index_state="@1522046735" cat > mk/build.mk <<EOF V=1 |