From 9ae790ede12f63cb2f7c5068831190bb3e415022 Mon Sep 17 00:00:00 2001 From: Lennart Spitzner Date: Tue, 11 Sep 2018 20:32:31 +0200 Subject: [PATCH] Fix .travis script: Prevent duplicated build --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index d8fec94..675395a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -290,8 +290,8 @@ script: (cd dist && better_wait cabal install -j$JOBS --force-reinstalls "$SRC_TGZ" --ghc-options="-j1 +RTS -M500M -RTS") ;; canew) - better_wait cabal new-build -j$JOBS --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" --disable-tests --disable-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" ;; esac