Merge branch 'V7_5_BR'

[modules/kernel.git] / bin / envSalome.py

diff --git a/bin/envSalome.py b/bin/envSalome.py
index 3b7388f9f1b72dc6ebe7ffac0aa5ecd68d0c7839..14f7c9346e68d29303f8a2c0be677503fa78dca2 100755 (executable)
--- a/bin/envSalome.py
+++ b/bin/envSalome.py
@@ -1,6 +1,6 @@
 #! /usr/bin/env python
 #  -*- coding: iso-8859-1 -*-
-# Copyright (C) 2007-2014  CEA/DEN, EDF R&D, OPEN CASCADE
+# Copyright (C) 2007-2015  CEA/DEN, EDF R&D, OPEN CASCADE
 #
 # Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
 # CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
@@ -36,6 +36,7 @@ import sys
 import setenv
 
 kernel_root=os.getenv("KERNEL_ROOT_DIR")
+kernel_root = os.path.realpath(kernel_root)
 sys.path[:0]=[os.path.join(kernel_root,"bin","salome")]
 
 argv = sys.argv[1:]