Fix .travis script: Prevent duplicated build

pull/184/head
Lennart Spitzner 2018-09-11 20:32:31 +02:00
parent 5e96ae8776
commit 9ae790ede1
1 changed files with 2 additions and 2 deletions

View File

@ -290,8 +290,8 @@ script:
(cd dist && better_wait cabal install -j$JOBS --force-reinstalls "$SRC_TGZ" --ghc-options="-j1 +RTS -M500M -RTS") (cd dist && better_wait cabal install -j$JOBS --force-reinstalls "$SRC_TGZ" --ghc-options="-j1 +RTS -M500M -RTS")
;; ;;
canew) canew)
better_wait cabal new-build -j$JOBS --disable-tests --disable-benchmarks better_wait cabal new-build -j$JOBS --ghc-options="-j1 +RTS -M500M -RTS" --disable-tests --disable-benchmarks
better_wait cabal new-build -j$JOBS --enable-tests --enable-benchmarks better_wait cabal new-build -j$JOBS --ghc-options="-j1 +RTS -M500M -RTS" --enable-tests --enable-benchmarks
cabal new-test --ghc-options="-j1 +RTS -M500M -RTS" cabal new-test --ghc-options="-j1 +RTS -M500M -RTS"
;; ;;
esac esac