tools: hide successes in make functest

This commit is contained in:
Simon Michael 2017-06-07 07:15:45 -07:00
parent 6857cd64a8
commit 54915bba61

View File

@ -75,7 +75,7 @@ STACK=stack
#STACK=stack --stack-yaml=stack-ghc7.yaml
# -j16 sometimes gives "commitAndReleaseBuffer: resource vanished (Broken pipe)" but seems harmless
SHELLTESTOPTS=--execdir -- -j16 #--hide-successes
SHELLTESTOPTS=--execdir -- -j16 --hide-successes
# make sure shelltest is a released version of shelltestrunner
# run shell tests using the executable specified in tests