From 55096da0a8f9d7b607f3a68afec7a9df15a1c77a Mon Sep 17 00:00:00 2001 From: iamashwin99 <ashwin-kumar.karnad@mpsd.mpg.de> Date: Mon, 15 May 2023 10:28:21 +0200 Subject: [PATCH] explicitly mention the dest of toolchains argument --- install-mpsd-software-environment.py | 1 + 1 file changed, 1 insertion(+) diff --git a/install-mpsd-software-environment.py b/install-mpsd-software-environment.py index 39fdb22..e9f21bb 100755 --- a/install-mpsd-software-environment.py +++ b/install-mpsd-software-environment.py @@ -305,6 +305,7 @@ def main(): "--toolchain", # allow singular as alternative # (-> creates attribute `args.toolchains` if used) type=str, + dest="toolchains", nargs="+", default="NONE", 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.", -- GitLab