--- a/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/sdk/core/SDKCorePlugin.java	Wed May 12 14:31:16 2010 -0500
+++ b/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/sdk/core/SDKCorePlugin.java	Wed May 12 17:44:08 2010 -0500
@@ -26,7 +26,8 @@
  */
 public class SDKCorePlugin extends Plugin {
 
-
+	public static final boolean SUPPORTS_SBSV1_BUILDER = false;
+	
 	// The plug-in ID
 	public static final String PLUGIN_ID = "com.nokia.carbide.cpp.sdk.core"; //$NON-NLS-1$
 
@@ -78,10 +79,11 @@
 	 */
 	public static ISDKManager getSDKManager() {
 		if (sdkManager == null) {
-			if (HostOS.IS_WIN32)
+			// TODO: SDKManagerRaptorOnly, currently only works on Linux
+//			if (HostOS.IS_WIN32 && SUPPORTS_SBSV1_BUILDER)
 				sdkManager = new SDKManager();
-			else
-				sdkManager = new SDKManagerRaptorOnly();
+//			else
+//				sdkManager = new SDKManagerRaptorOnly();
 		}
 		return sdkManager;
 	}