diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-10-15 20:04:23 -0400 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-10-15 20:04:23 -0400 |
| commit | 12b2e0ac73a17a8ae0da190c35830c21c61a8ee9 (patch) | |
| tree | 53c24e7e818e765a8bd15107e2974d8be69a6a91 | |
| parent | bd642d08aba2a0ad7e9eefdf3406578830c90158 (diff) | |
hack to force new tag
| -rw-r--r-- | util/travis_compiled_push.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index af9fc51d9c..27e77a9218 100644 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh @@ -40,7 +40,8 @@ if [[ $NEFM -gt 0 ]] ; then #lasttag=$(git describe --tags $(git rev-list --tags --max-count=10) | grep -Ev '\-' | xargs -I@ git log --format=format:"%ai @%n" -1 @ | sort -V | awk '{print $4}' | tail -1) lasttag=$(git describe --tags $(git rev-list --tags --max-count=10) | grep -Ev '\-' | sort -V | tail -1) newtag=$(increment_version $lasttag) - git tag $newtag + newertag=$(increment_version $newtag) + git tag $newtag || git tag $newertag git push --tags git@github.com:qmk/qmk_firmware.git else echo "No essential files modified." |