[flymine-dev] global build.properties

[Thomas Riley]

I've updated the imbuild/library.xml (the base build script for all  
projects) to import properties from <home>/build.properties early in  
the build process. So now you can override properties globally over  
all projects in your checkout. For example, my build.properties looks  
like:


javac.compiler = jikes
emma.enabled = false


Also, emma code coverage is on by default but you can disable it for  
all test projects, as I've done above.

Tom