Github user cestella commented on a diff in the pull request:
    --- Diff: .travis.yml ---
    @@ -33,7 +33,7 @@ before_install:
       - npm config set prefix $HOME/.npm-prefix --global
    -  - time mvn -q -T 2C -DskipTests clean install
    +  - time mvn -q -T 2C -DskipTests -PHDP- clean install
    --- End diff --
    I believe the rationale for having travis run without the profile 
and full-dev build with it is to ensure that we build with both per PR (since 
both are required for a +1).  I would be more comfortable with a follow-on task 
to make a proper travis matrix where both are run in travis per build.


Reply via email to