diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-12-01 15:38:08 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
commit | 70db4d93c48565bebeade5845d5d8c55fbc19e7a (patch) | |
tree | 14fe5802019b417f7415b642e5fb2483274c0af1 /scripts/ci | |
parent | 080a503271592babe0957ff37300d02fddff1e8f (diff) |
Update as per @DanielG comments
Diffstat (limited to 'scripts/ci')
-rw-r--r-- | scripts/ci/steps/40-test.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/ci/steps/40-test.sh b/scripts/ci/steps/40-test.sh index 47caaba..2a3ef26 100644 --- a/scripts/ci/steps/40-test.sh +++ b/scripts/ci/steps/40-test.sh @@ -1,3 +1,2 @@ cabal_helper_libexecdir="$build_dir"/build/cabal-helper-wrapper \ cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=always -# cabal --sandbox-config="$sandbox_config" test --builddir="$build_dir" --show-details=direct |