Posts in category config

Setting Alternative Site Properties

jpf-core change http://babelfish.arc.nasa.gov/hg/jpf/jpf-core/rev/184a310eb218 fixes and extends site.properties lookup, which now also works via site=.. property from application (*.jpf) or project properties (jpf.properties). This can esp. be used to set alternative jpf-core directories, while still using eclipse-jpf or netbeans-jpf.

That said, you shouldn't have lots of jpf-core variants around - if you really need to modify, use the repo or create an extension project.