From e4ffe327792ba3296c17e38034c9944e17480138 Mon Sep 17 00:00:00 2001 From: Rafael Guterres Jeffman Date: Tue, 7 Nov 2023 14:19:03 -0300 Subject: [PATCH] utils/run-tests.sh: Update help messages Update utils/run-tests.sh help messages, including recent changes that were missing. --- utils/run-tests.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/utils/run-tests.sh b/utils/run-tests.sh index 7cd107abe5..256270342f 100755 --- a/utils/run-tests.sh +++ b/utils/run-tests.sh @@ -32,7 +32,7 @@ interrupt_exception() { usage() { local prog="${0##*/}" cat <