On Mon, Jul 9, 2012 at 6:32 PM, Rupert Westenthaler <[email protected]> wrote: > ...The tip of Dave to use the "-DskipTests" options is a good one as it > typically wild cut the build time in half...
OTOH it's good to have people run those tests on different platforms, at least from time to time. -Bertrand
