diff options
Diffstat (limited to 'tools/version.sh')
| -rwxr-xr-x | tools/version.sh | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/tools/version.sh b/tools/version.sh index a4c09cb15f..c3d9417f23 100755 --- a/tools/version.sh +++ b/tools/version.sh @@ -6,6 +6,8 @@ # Java based Maven plugin so its fully portable. # +POM_FILES=$(git ls-files | grep pom.xml) + case "$1" in --snapshot=*) V=$(echo "$1" | perl -pe 's/^--snapshot=//') @@ -24,8 +26,13 @@ case "$1" in V=$(git describe HEAD) || exit ;; +--reset) + git checkout HEAD -- $POM_FILES + exit $? + ;; + *) - echo >&2 "usage: $0 {--snapshot=0.n.0 | --release}" + echo >&2 "usage: $0 {--snapshot=2.n | --release}" exit 1 esac @@ -40,8 +47,6 @@ perl -pi -e ' } if (!$seen_version) { $seen_version = 1 if - s{(<version>).*(</version>)}{${1}'"$POM_V"'${2}}; + s{(<version>).*(</version>)}{${1}'"$V"'${2}}; } - ' $(git ls-files | grep pom.xml) - -git diff + ' $POM_FILES |