[ fix ] cabal exec should not print extra output

Author: gallais

tests/data/appending/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" < input > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" < input > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/data/colist/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/data/list/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/data/rational-unnormalised/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/data/rational/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/data/trie/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/monad/counting/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/monad/fibonacci/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/monad/pythagorean/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle

tests/monad/tcm/run

@@ -15,7 +15,7 @@ $1 --compile-dir=_build -c --ghc-dont-call-ghc Main.agda > logs/agda-build
 cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 
 # Run the test
-cabal exec "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
+cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
 rm -R dist-newstyle