Merge pull request #4355 from smoors/20231017085708_new_pr_ZKoiyqjEvr

minor help fix
easybuilders · Oct 23, 2023 · 2dc4707 · 2dc4707
2 parents 7acec7f + f3eafe6
commit 2dc4707
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/easybuild/tools/options.py b/easybuild/tools/options.py
@@ -276,8 +276,8 @@ def basic_options(self):
             'only-blocks': ("Only build listed blocks", 'strlist', 'extend', None, 'b', {'metavar': 'BLOCKS'}),
             'rebuild': ("Rebuild software, even if module already exists (don't skip OS dependencies checks)",
                         None, 'store_true', False),
-            'robot': ("Enable dependency resolution, using easyconfigs in specified paths",
-                      'pathlist', 'store_or_None', [], 'r', {'metavar': 'PATH[%sPATH]' % os.pathsep}),
+            'robot': ("Enable dependency resolution, optionally consider additional paths to search for easyconfigs",
+                      'pathlist', 'store_or_None', [], 'r', {'metavar': '[PATH[%sPATH]]' % os.pathsep}),
             'robot-paths': ("Additional paths to consider by robot for easyconfigs (--robot paths get priority)",
                             'pathlist', 'add_flex', self.default_robot_paths, {'metavar': 'PATH[%sPATH]' % os.pathsep}),
             'search-paths': ("Additional locations to consider in --search (next to --robot and --robot-paths paths)",