diff options
Diffstat (limited to '.circleci/prepare-system.sh')
| -rwxr-xr-x | .circleci/prepare-system.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/.circleci/prepare-system.sh b/.circleci/prepare-system.sh index 39d32f13bc..dbb1011df5 100755 --- a/.circleci/prepare-system.sh +++ b/.circleci/prepare-system.sh @@ -22,10 +22,6 @@ BUILD_SPHINX_PDF=$BUILD_SPHINX_PDF BeConservative=YES EOF -if [[ -z ${ENABLE_DWARF:-} ]]; then - echo "GhcLibHcOpts=-g3" >> mk/build.mk -fi - case "$(uname)" in Linux) if [[ -n ${TARGET:-} ]]; then @@ -51,9 +47,6 @@ case "$(uname)" in cabal update cabal install --reinstall hscolour sudo ln -s /home/ghc/.cabal/bin/HsColour /usr/local/bin/HsColour || true - if [[ -z ${ENABLE_DWARF:-} ]]; then - apt-get install -qy libdw1-dev - fi fi ;; |