diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-11-30 09:29:51 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
| commit | 01fd1f195e1fc5b3b4c175015fc32c2ad47831b9 (patch) | |
| tree | c299123e456a3432dfe88e0ba0d96fb283a4961a /scripts/ci | |
| parent | 736b60ece1f10efe1bf1f57acf3f4d148bed5577 (diff) | |
Keep 7.8.4 build happy
Diffstat (limited to 'scripts/ci')
| -rw-r--r-- | scripts/ci/steps/40-test.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/ci/steps/40-test.sh b/scripts/ci/steps/40-test.sh index ed813a6..47caaba 100644 --- a/scripts/ci/steps/40-test.sh +++ b/scripts/ci/steps/40-test.sh @@ -1,2 +1,3 @@ cabal_helper_libexecdir="$build_dir"/build/cabal-helper-wrapper \ - cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=direct + cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=always +# cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=direct |