quattor/maven-tools — pull request #17 by piojo (2014-07-07 22:51:53+00:00)
Title: Pass extra options to prove on the command line.

When invoking the build process with -Dprove.args=-v we'll be able to see all the log messages spit during our tests.

I haven't found any easy way to pass multiple options, or to have conditional properties (other than adding yet another profile to our messy POMs).