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