diff options
Diffstat (limited to '.circleci/fetch-submodules.sh')
| -rwxr-xr-x | .circleci/fetch-submodules.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.circleci/fetch-submodules.sh b/.circleci/fetch-submodules.sh deleted file mode 100755 index 7279d21fd4..0000000000 --- a/.circleci/fetch-submodules.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/env bash - -set -euo pipefail - -# Use github.com/ghc for those submodule repositories we couldn't connect to. -git config remote.origin.url git://github.com/ghc/ghc.git -git config --global url."git://github.com/ghc/packages-".insteadOf git://github.com/ghc/packages/ -git submodule init # Don't be quiet, we want to show these urls. -git submodule --quiet update --recursive # Now we can be quiet again. |