Avoid adding multiple times the same directory in SALOMEPATH env variable (it was...

diff --git a/bin/setenv.py b/bin/setenv.py
index 44ac6dbe7e83fba3630e7db15f6dc34cb579cb27..46bc337bed9a9ddb795f5c9a42a2a77713eee993 100755 (executable)
--- 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")