diff options
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} |