From 85d9b2a45553bc2ebfec799f4e866d082e04496a Mon Sep 17 00:00:00 2001
From: kgv <kgv@opencascade.com>
Date: Tue, 19 Nov 2013 12:25:14 +0400
Subject: [PATCH] 0024366: wok_env.sh - default $PRODUCTS_PATH ignores platform

---
 src/WOKsite/wok_env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/WOKsite/wok_env.sh b/src/WOKsite/wok_env.sh
index d5246a1..e36f9a9 100644
--- a/src/WOKsite/wok_env.sh
+++ b/src/WOKsite/wok_env.sh
@@ -71,7 +71,7 @@ fi
 
 # ----- 3rd-parties root -----
 if [ "$PRODUCTS_PATH" == "" ]; then
-  export PRODUCTS_PATH="${WOKHOME}/3rdparty/lin32"
+  export PRODUCTS_PATH="${WOKHOME}/3rdparty/${WOKSTATION}${ARCH}"
 fi
 
 # ----- Setup Environment Variables for WOK -----
-- 
2.39.5