File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -34,6 +34,7 @@ SCIJAVA_RELEASES_REPOSITORY=$SCIJAVA_BASE_REPOSITORY/releases
34
34
SCIJAVA_THIRDPARTY_REPOSITORY=$SCIJAVA_BASE_REPOSITORY /thirdparty
35
35
36
36
BATCH_MODE=--batch-mode
37
+ SKIP_VERSION_CHECK=
37
38
SKIP_PUSH=
38
39
SKIP_GPG=
39
40
TAG=
47
48
case " $1 " in
48
49
--dry-run) DRY_RUN=echo;;
49
50
--no-batch-mode) BATCH_MODE=;;
51
+ --skip-version-check) SKIP_VERSION_CHECK=t;;
50
52
--skip-push) SKIP_PUSH=t;;
51
53
--tag=* )
52
54
! git rev-parse --quiet --verify refs/tags/" ${1# --* =} " ||
@@ -100,7 +102,8 @@ case "$VERSION" in
100
102
* )
101
103
die " Version '$VERSION ' does not start with a digit!"
102
104
esac
103
- valid_semver_bump " $pomVersion " " $VERSION "
105
+ test " $SKIP_VERSION_CHECK " ||
106
+ valid_semver_bump " $pomVersion " " $VERSION "
104
107
105
108
# defaults
106
109
You can’t perform that action at this time.
0 commit comments