diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-09-19 21:51:35 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-19 22:00:56 +0200 |
| commit | b452f1bec5c041cffbc5160e7f90eaf6daab82a0 (patch) | |
| tree | 6777a2a5aea5c67a9d5ada8cc5bb371d0495ca44 /scripts/ci/steps/30-build.sh | |
| parent | f5dee82eed5ece2819b33b6bb41b990cdd407b39 (diff) | |
Adapt CI scripts for readonly sourcedir
Diffstat (limited to 'scripts/ci/steps/30-build.sh')
| -rw-r--r-- | scripts/ci/steps/30-build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/ci/steps/30-build.sh b/scripts/ci/steps/30-build.sh index 1f5e2ef..1dbaad7 100644 --- a/scripts/ci/steps/30-build.sh +++ b/scripts/ci/steps/30-build.sh @@ -1,3 +1,3 @@ -cabal configure --enable-tests -cabal build -cabal haddock +cabal --sandbox-config="$sandbox_config" configure --builddir="$build_dir" --enable-tests +cabal --sandbox-config="$sandbox_config" build --builddir="$build_dir" +cabal --sandbox-config="$sandbox_config" haddock --builddir="$build_dir" |