diff --git a/bin/test.sh b/bin/test.sh index da3f570ff316fb2efd78081d8839c202fec0ef52..94ba6565c6e71114ad9fd924a78369c49c342d46 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -185,7 +185,7 @@ do UPDATE=yes ;; "-v"|"--verbose") - DUNE_OPT+=" --display=short" + DUNE_OPT+=" --display=short --always-show-command-line" VERBOSE=yes ;; "-l"|"--logs")