# HG changeset patch
# User timkelly
# Date 1282054874 25200
# Node ID 6319037468367d35cbb4ffac951e4fc865473b95
# Parent  dbcd41027a63f6518fbb75cf1dc64f2b80d551a3
HOSTOS check for Linux

diff -r dbcd41027a63 -r 631903746836 core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/sdk/ui/SDKUIPlugin.java
--- a/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/sdk/ui/SDKUIPlugin.java	Mon Aug 16 15:46:44 2010 -0500
+++ b/core/com.nokia.carbide.cpp.sdk.ui/src/com/nokia/carbide/cpp/sdk/ui/SDKUIPlugin.java	Tue Aug 17 07:21:14 2010 -0700
@@ -31,6 +31,7 @@
 import com.nokia.carbide.cpp.internal.sdk.ui.SDKUIPreferenceConstants;
 import com.nokia.carbide.cpp.sdk.core.ISDKManager;
 import com.nokia.carbide.cpp.sdk.core.SDKCorePlugin;
+import com.nokia.cpp.internal.api.utils.core.HostOS;
 import com.nokia.cpp.internal.api.utils.ui.QueryWithTristatePrefDialog;
 import com.nokia.cpp.internal.api.utils.ui.WorkbenchUtils;
 
@@ -61,7 +62,9 @@
 		super.start(context);
 		
 		ISDKManager sdkMgr = SDKCorePlugin.getSDKManager();
-		((SDKManager)sdkMgr).setPlatformList(SBSv1PlatformFilterComposite.getPlatFilterPrefsStore());	
+		if (HostOS.IS_WIN32){
+			((SDKManager)sdkMgr).setPlatformList(SBSv1PlatformFilterComposite.getPlatFilterPrefsStore());
+		}
 	}