review chore: Change jenkins/build.sh to allow passing maven parameters#2723

Merged

monperrus merged 1 commit intoINRIA:masterfrom surli:chore-build-sh-with-options

Oct 27, 2018

+8-6

Commits on Oct 27, 2018

chore: Change jenkins/build.sh to allow passing maven parameters
surli
committed