From 6bd28e5ed9b115bee3135d13319630551a5b8bee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Leroy=20R=C3=BCgemer?= <lruegeme@techfak.uni-bielefeld.de> Date: Tue, 3 Apr 2018 12:23:08 +0200 Subject: [PATCH] comment fix --- generate_environment_variables.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate_environment_variables.py b/generate_environment_variables.py index 3bf54af..410cc35 100755 --- a/generate_environment_variables.py +++ b/generate_environment_variables.py @@ -23,7 +23,7 @@ def get_workspaces(environ): env_name = 'CMAKE_PREFIX_PATH' value = environ[env_name] if env_name in environ else '' paths = [path for path in value.split(os.pathsep) if path] - # remove non-workspace paths + # dont remove non-workspace paths workspaces = [path.replace(' ', '\ ') for path in paths] return workspaces -- GitLab