From be89caecc27cd776e6b83069d50391193cde1d1b Mon Sep 17 00:00:00 2001 From: gdd Date: Tue, 4 Dec 2012 15:14:56 +0000 Subject: [PATCH] Avoid adding multiple times the same directory in SALOMEPATH env variable (it was the case in the appli environment) --- bin/setenv.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/setenv.py b/bin/setenv.py index 44ac6dbe7..46bc337be 100755 --- a/bin/setenv.py +++ b/bin/setenv.py @@ -172,7 +172,8 @@ def set_env(args, modules_list, modules_root_dir, silent=False): for module in modules_list : if modules_root_dir.has_key(module): module_root_dir = modules_root_dir[module] - modules_root_dir_list[:0] = [module_root_dir] + if module_root_dir not in modules_root_dir_list: + modules_root_dir_list[:0] = [module_root_dir] if sys.platform == "win32": add_path(os.path.join(module_root_dir,get_lib_dir(),salome_subdir), "PATH") -- 2.39.2