From 839f79dc1d53fa5ca47552293e7dd16f54d01589 Mon Sep 17 00:00:00 2001
From: bugmaster <bugmaster@opencascade.com>
Date: Fri, 11 Oct 2013 15:26:26 +0400
Subject: [PATCH] Small correction for Linux platforms

---
 src/WOKTclLib/templates/env.sh | 2 +-
 src/WOKsite/wok_env.sh         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/WOKTclLib/templates/env.sh b/src/WOKTclLib/templates/env.sh
index ec74e68..8637089 100755
--- a/src/WOKTclLib/templates/env.sh
+++ b/src/WOKTclLib/templates/env.sh
@@ -125,7 +125,7 @@ do
   if [ "${LD_LIBRARY_PATH}" == "" ]; then
     export LD_LIBRARY_PATH="${anItem}"
   else
-    export LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${anItem}"
+    export LD_LIBRARY_PATH="${anItem}:${LD_LIBRARY_PATH}"
   fi
   OPT_LINKER_OPTIONS="${OPT_LINKER_OPTIONS} -L${anItem}"
 done
diff --git a/src/WOKsite/wok_env.sh b/src/WOKsite/wok_env.sh
index ce08e50..dd87cf0 100644
--- a/src/WOKsite/wok_env.sh
+++ b/src/WOKsite/wok_env.sh
@@ -67,7 +67,7 @@ fi
 
 # ----- 3rd-parties root -----
 if [ "$PRODUCTS_PATH" == "" ]; then
-  export PRODUCTS_PATH="${WOKHOME}/3rdparty/${WOKSTATION}${ARCH}"
+  export PRODUCTS_PATH="${WOKHOME}/3rdparty/lin32"
 fi
 
 # ----- Setup Environment Variables for WOK -----
-- 
2.39.5