diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-06 21:10:38 +1000 |
| commit | c5b33045238aa22a108c5ffd6989770e94b206eb (patch) | |
| tree | 70f0325044b9d4748870a62adebca5c0e46f9e59 /vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh | |
| parent | 93825d12f0e3c97a5db4a48b4fe6ae4865256a67 (diff) | |
Replacing cabal-helper-0.8.1.2 with 1.1.0.0
Diffstat (limited to 'vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh')
| -rw-r--r-- | vendor/cabal-helper-0.8.1.2/scripts/ci/steps/00-config.sh | 12 |
1 files changed, 0 insertions, 12 deletions
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} |