From de77779ba4f70ef12c930bf2444a7b7b1e30a309 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Sat, 13 May 2023 18:58:08 +0200
Subject: [PATCH] improve documentation
---
install-mpsd-software-environment.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/install-mpsd-software-environment.py b/install-mpsd-software-environment.py
index 2da318e..39fdb22 100755
--- a/install-mpsd-software-environment.py
+++ b/install-mpsd-software-environment.py
@@ -307,7 +307,7 @@ def main():
type=str,
nargs="+",
default="NONE",
- help="List of toolchains to install (use ALL to install all toolchains). If nothing is specified, list of available toolchains for the release would be shown after creating the environment.",
+ help="List of toolchains to install (use '--toolchains ALL' to install all toolchains). If nothing is specified, list of available toolchains for the release would be shown after creating the environment.",
)
subp.add_argument(
"--enable-build-cache",
--
GitLab