From a16479a5782f9416ed80c0c237399aa7813c3e1c Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Sat, 13 May 2023 15:59:11 +0200
Subject: [PATCH] show name of toolchain in hyphens for clarity
---
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 0cd7e08..5ba0008 100755
--- a/install-mpsd-software-environment.py
+++ b/install-mpsd-software-environment.py
@@ -238,7 +238,7 @@ def install_environment(
for toolchain in toolchains:
if toolchain not in available_toolchains:
- raise Exception(f"Toolchain {toolchain} is not available in release {mpsd_release}.")
+ raise Exception(f"Toolchain '{toolchain}' is not available in release {mpsd_release}.")
# Install the toolchains
with os_chdir(toolchain_dir):
--
GitLab