Merge branch 'po/29467_gui_log_file'

[modules/shaper.git] / salome_kill.sh

diff --git a/salome_kill.sh b/salome_kill.sh
index 3fe6b6f18f57ad2dc99e1f857ea8fdf11471d714..3ae83e85a605eadbdc4065085346ae17ec1088b3 100755 (executable)
--- a/salome_kill.sh
+++ b/salome_kill.sh
@@ -3,7 +3,6 @@
 a_dir=$(dirname $0)
 
 source ${a_dir}/env.sh
-source ${a_dir}/env_salome.sh
 
 set +e -x