-
Guus der Kinderen authored
* 'override' defined just once (and set to false) * a plugin can be skipped by setting a property 'plugin.pluginname.skip' to true (eg: -Dplugin.broadcast.skip=true) * plugins that are built set the property above, to prevent rebuilding during the same Ant invocation (speeds up parent/child plugin builds)