From 54915bba616334bcf3d7126a803b5ae209fe6b3a Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 7 Jun 2017 07:15:45 -0700
Subject: [PATCH] tools: hide successes in make functest

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3480ab7af..273e8b778 100644
--- a/Makefile
+++ b/Makefile
@@ -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