scripts/build.sh: add --batch-mode

eclipse-embed-cdt · Jul 28, 2020 · 05e7103 · 05e7103
1 parent 2bffa6d
commit 05e7103
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/build.sh b/scripts/build.sh
@@ -46,7 +46,7 @@ do_compute_sha() {
 
 # -----------------------------------------------------------------------------
 
-mvn clean verify -Pepp.package.embedcdt
+mvn clean verify --batch-mode --show-version -Pepp.package.embedcdt
 
 pushd archive
 for f in *.zip *.gz