diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-01-14 17:14:12 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
commit | efb4ce65962f555ee76533c1089b2c9ebdf4edb5 (patch) | |
tree | 8663ca2d726f082d68ea631c3ee0733a763b19cf /scripts | |
parent | a543f44bd9541d13d85d9284332705e846c6cb20 (diff) |
Refactor 'compileHelper' to cache helper in all cases
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/ci/steps/30-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/ci/steps/30-build.sh b/scripts/ci/steps/30-build.sh index 1dbaad7..8e71aa3 100644 --- a/scripts/ci/steps/30-build.sh +++ b/scripts/ci/steps/30-build.sh @@ -1,3 +1,4 @@ -cabal --sandbox-config="$sandbox_config" configure --builddir="$build_dir" --enable-tests +# -fdev enables building the helper "main" exe directly and enables more warnings +cabal --sandbox-config="$sandbox_config" configure --builddir="$build_dir" --enable-tests -fdev cabal --sandbox-config="$sandbox_config" build --builddir="$build_dir" cabal --sandbox-config="$sandbox_config" haddock --builddir="$build_dir" |