CI script, adding separate options for maven build commands.

Rothamsted · Sep 27, 2023 · cd23946 · cd23946
1 parent c1bcc5b
commit cd23946
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci-build/build-body.sh b/ci-build/build-body.sh
@@ -17,7 +17,7 @@ docker run --rm \
   --env KNET_REPO_USER \
   --env KNET_REPO_PASSWORD \
   "ghcr.io/rothamsted/knetminer-bare:$docker_tag_bare" \
-  "mvn $MAVEN_GOAL --settings ci-build/maven-settings.xml --update-snapshots --no-transfer-progress $MAVEN_ARGS"
+  "mvn $MAVEN_GOAL --settings ci-build/maven-settings.xml --no-transfer-progress $MAVEN_BUILD_ARGS"
 
 # For some reason, we get files that the GHA runner can't access anymore
 echo -e "\n  Maven build finished, fixing new files permissions\n"