From c5b33045238aa22a108c5ffd6989770e94b206eb Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 6 Jun 2022 21:10:38 +1000 Subject: Replacing cabal-helper-0.8.1.2 with 1.1.0.0 --- vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh (limited to 'vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh') diff --git a/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh b/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh deleted file mode 100644 index eb8280a..0000000 --- a/vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh +++ /dev/null @@ -1,12 +0,0 @@ -if [ -w . ]; then - sandbox="$PWD"/.cabal-sandbox - sandbox_config="$PWD"/cabal.sandbox.config -else - sandbox="$HOME"/cabal-sandbox - sandbox_config="$HOME"/cabal.sandbox.config -fi - -source_dir="$(mktemp --tmpdir -d "cabal-helper.sdistXXXXXXXXX")" -build_dir="$(mktemp --tmpdir -d "cabal-helper.distXXXXXXXXX")" - -NPROC=${NPROC:-1} -- cgit v1.2.3