diff options
-rwxr-xr-x | extras/hs-test/test | 2 |
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 |