Bug 1107811 - Part 4: Exclude all but mobile/. r=me

--HG--
extra : commitid : 74U8fEJ56gs
extra : rebase_source : b7b4c64fce0d0be99c009d60e00e31b3566a432b
extra : histedit_source : 40c112ab0114735734efa948060f87ccf81c3db8
This commit is contained in:
Nick Alexander 2015-12-02 14:57:12 -08:00
parent e171bf31ec
commit c438fd1f6f

View File

@ -101,13 +101,14 @@ idea {
// Object directories take a huge amount of time for IntelliJ to index.
// Exclude them. Convention is that object directories start with obj.
// IntelliJ is clever and will not exclude the parts of the object
// directory that are referenced, if there are any.
// In practice, indexing the entirety of the tree is taking too long.
// directory that are referenced, if there are any. In practice,
// indexing the entirety of the tree is taking too long, so exclude all
// but mobile/.
def topsrcdirURI = file(topsrcdir).toURI()
excludeDirs += files(file(topsrcdir)
.listFiles({it.isDirectory()} as FileFilter)
.collect({topsrcdirURI.relativize(it.toURI()).toString()}) // Relative paths.
.findAll({it.startsWith('obj') && !it.startsWith('.') && !it.equals('mobile/')}))
.findAll({!it.equals('mobile/')}))
// If topobjdir is below topsrcdir, hide only some portions of that tree.
def topobjdirURI = file(topobjdir).toURI()