summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xextras/hs-test/test2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/hs-test/test b/extras/hs-test/test
index 0e117bf86ae..ae99f879841 100755
--- a/extras/hs-test/test
+++ b/extras/hs-test/test
@@ -45,7 +45,7 @@ case "${i}" in
tc_name="${i#*=}"
if [ $tc_name != "all" ]; then
single_test=1
- args="$args -run $tc_name"
+ args="$args -run $tc_name -verbose"
fi
esac
done