Several of the apache provided maven plugins use the convention of a
define; e.g., -D skipTests -D skipITs

To extend this convention, you could use -D skipCoverage

Regards,
chas




On 11/19/12 3:22 AM, "Sébastien Brisard" <[email protected]> wrote:

>Hi,
>
>
>2012/11/19 Gilles Sadowski <[email protected]>
>
>> On Mon, Nov 19, 2012 at 10:38:27AM +0100, Thomas Neidhart wrote:
>> > On Mon, Nov 19, 2012 at 8:20 AM, Sébastien Brisard <
>> > [email protected]> wrote:
>> >
>> > > Hi,
>> > > someone (I think it was sebb) wrote some months ago about defining
>> custom
>> > > profiles in the pom.xml to allow for faster compilation (cobertura
>> being
>> > > the culprit).
>> > > I've done that locally, and I'm probably not the only one. So I was
>> > > wondering whether we could commit one or two custom profiles which
>> would
>> > > make our life easier?
>> > > The profile I'm using is the following
>> > >   <profiles>
>> > >     <profile>
>> > >       <id>fast</id>
>> > >       <properties>
>> > >         <skipTests>true</skipTests>
>> > >         <maven.clover.skip>true</maven.clover.skip>
>> > >         <cobertura.skip>true</cobertura.skip>
>> > >         <findbugs.skip>true</findbugs.skip>
>> > >         <pmd.skip>true</pmd.skip>
>> > >       </properties>
>> > >     </profile>
>> > >   </profiles>
>> > > it allows me to quickly check the generated Javadoc + users guide.
>> > > Other profiles could be defined, of course.
>> > >
>> > >
>> > > What do you think?
>> > >
>> >
>> > Hi Sebastien,
>> >
>> > I have the same profile in my local pom, so I am +1 on adding it by
>> default.
>> >
>>
>> It would be nice to have several profiles.
>>
>Yes, one profile to do the tests without cobertura, one profile to create
>the Javadoc + users doc without other reports, and so on. We should list a
>few of those.
>
>
>> Is it possible to include profiles into profiles?
>>
>You mean that you are afraid of the pom becoming huge ? ;-)
>I don't know about that, maybe Thomas does.
>Sébastien
>
>>
>> Gilles
>>
>> ---------------------------------------------------------------------
>> To unsubscribe, e-mail: [email protected]
>> For additional commands, e-mail: [email protected]
>>
>>


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to