From 26da3e323ea983bcad9ac74adb9e24c8a19e9d9f Mon Sep 17 00:00:00 2001 From: Vasileios Karakasis Date: Tue, 21 Mar 2023 21:24:33 +0100 Subject: [PATCH] Improve help message of `--detect-host-topology` option --- reframe/frontend/cli.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/reframe/frontend/cli.py b/reframe/frontend/cli.py index 4f737b22a7..2955e2abc4 100644 --- a/reframe/frontend/cli.py +++ b/reframe/frontend/cli.py @@ -515,8 +515,10 @@ def main(): envvar='RFM_CONFIG_FILES :' ) misc_options.add_argument( - '--detect-host-topology', action='store', nargs='?', const='-', - help='Detect the local host topology and exit' + '--detect-host-topology', metavar='FILE', action='store', + nargs='?', const='-', + help=('Detect the local host topology and exit, ' + 'optionally saving it in FILE') ) misc_options.add_argument( '--failure-stats', action='store_true', help='Print failure statistics'