From 6a7c7c76af36f7d9c786f5ef17cf9b9e22f3ce76 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Mon, 12 Jun 2023 13:02:45 +0200
Subject: [PATCH] If toolchain cannot be found, point to `available` command.
---
mpsd-software.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mpsd-software.py b/mpsd-software.py
index 5247512..c7f0fc3 100755
--- a/mpsd-software.py
+++ b/mpsd-software.py
@@ -885,8 +885,8 @@ def install_environment(
for toolchain in toolchains:
if toolchain not in available_toolchains:
- # TODO: add to message how toolchains can be found
msg = f"Toolchain '{toolchain}' is not available in release {mpsd_release}."
+ msg += f"Use 'available' command to see list of available toolchains."
logging.error(msg)
sys.exit(1)
--
GitLab