Home
last modified time | relevance | path

Searched refs:devTree (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/
DPdtPlugin.java72 String devTree = store.getString(PrefPage.PREFS_DEVTREE_DIR); in getDevTree() local
74 if (devTree.length() == 0) { in getDevTree()
75 devTree = System.getenv("ANDROID_BUILD_TOP"); //$NON-NLS-1$ in getDevTree()
78 return devTree; in getDevTree()
121 String devTree = getDevTree(); in getDevTreeOutBin() local
123 if (devTree != null && devTree.length() > 0) { in getDevTreeOutBin()
124 return devTree + "/out/host/" + currentPlatform() + "/bin/"; //$NON-NLS-1$ //$NON-NLS-2$ in getDevTreeOutBin()
/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/internal/
DDevTreeProjectProvider.java54 String devTree = PdtPlugin.getDevTree(); in getProject() local
56 if (devTree != null) { in getProject()
57 devTreePath = new Path(devTree); in getProject()