File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -10,16 +10,19 @@ IMAGEJ_RELEASES_REPOSITORY=$IMAGEJ_BASE_REPOSITORY/releases
1010IMAGEJ_THIRDPARTY_REPOSITORY=$IMAGEJ_BASE_REPOSITORY /thirdparty
1111
1212BATCH_MODE=--batch-mode
13- EXTRA_ARGS=
1413SKIP_PUSH=
1514SKIP_DEPLOY=
15+ TAG=
16+ EXTRA_ARGS=
1617ALT_REPOSITORY=
1718while test $# -gt 0
1819do
1920 case " $1 " in
2021 --no-batch-mode) BATCH_MODE=;;
2122 --skip-push) SKIP_PUSH=t;;
2223 --skip-deploy) SKIP_DEPLOY=t;;
24+ --tag=* )
25+ TAG=" -Dtag=${1# --* =} " ;;
2326 --extra-arg=* |--extra-args=* )
2427 EXTRA_ARGS=" $EXTRA_ARGS ${1# --* =} " ;;
2528 --alt-repository=imagej-releases)
@@ -61,7 +64,7 @@ test $FETCH_HEAD = "$(git merge-base $FETCH_HEAD $HEAD)" ||
6164die " 'master' is not up-to-date"
6265
6366# Prepare new release without pushing (requires the release plugin >= 2.1)
64- mvn $BATCH_MODE release:prepare -DpushChanges=false -Dresume=false \
67+ mvn $BATCH_MODE release:prepare -DpushChanges=false -Dresume=false $TAG \
6568 -DreleaseVersion=" $1 " " -Darguments=${EXTRA_ARGS# } " &&
6669
6770# Squash the two commits on the current branch into one
You can’t perform that action at this time.
0 commit comments