From 91bccac64b897aa921f200e1b5b06819a1e6a7c0 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 14 Jun 2019 18:11:12 -0700
Subject: [PATCH] ;make functest: show verbose progress again, in honour of
 stack 2

[ci skip]
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3ad48668c..3c4c99d21 100644
--- a/Makefile
+++ b/Makefile
@@ -87,7 +87,7 @@ STACK=stack
 #STACK=stack --with-hpack=hpack-0.20
 
 # -j16 sometimes gives "commitAndReleaseBuffer: resource vanished (Broken pipe)" but seems harmless
-SHELLTESTOPTS=--execdir -j16 --hide-successes --exclude=/_
+SHELLTESTOPTS=--execdir -j16 --exclude=/_  #--hide-successes 
 
 # make sure shelltest is a released version of shelltestrunner
 # run shell tests using the executable specified in tests