From 1726af2560636c336120b82b3abfe6cff7b5f495 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 10 Sep 2024 15:31:32 +0200
Subject: [PATCH] [script] Display command line in verbose mode
---
bin/test.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/test.sh b/bin/test.sh
index da3f570ff3..94ba6565c6 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")
--
GitLab