From e589cc48ee2a9b102755dababa1777f1fcc8bff1 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Mon, 12 Jun 2023 15:35:33 +0200
Subject: [PATCH] remove commented out line
Can easily re-add when the feature comes. The argument is not used in the
function yet at all. It is not even clear this is the right place to clear the
environment before we call 'install' again.
---
mpsd-software.py | 1 -
1 file changed, 1 deletion(-)
diff --git a/mpsd-software.py b/mpsd-software.py
index 2afbcf1..8bb7896 100755
--- a/mpsd-software.py
+++ b/mpsd-software.py
@@ -818,7 +818,6 @@ def install_environment(
mpsd_release: str,
toolchains: List[str],
root_dir: Path,
- # force_reinstall: bool = False,
enable_build_cache: bool = False,
) -> None:
"""
--
GitLab