aboutsummaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
authorJack Humbert <jack.humb@gmail.com>2017-02-16 10:06:02 -0500
committerJack Humbert <jack.humb@gmail.com>2017-02-16 10:06:02 -0500
commit15dc540cac293b6f2e1433b701408c89e72c52ec (patch)
tree0b352848656c3b7424422d52246712bb08289eb7 /util
parente34c3936b7db8f9d39f1eb0d0f4734fc37d7ebe3 (diff)
downloadfirmware-15dc540cac293b6f2e1433b701408c89e72c52ec.tar.gz
firmware-15dc540cac293b6f2e1433b701408c89e72c52ec.tar.bz2
firmware-15dc540cac293b6f2e1433b701408c89e72c52ec.zip
ignore PRs in versioning
Diffstat (limited to 'util')
-rw-r--r--util/travis_compiled_push.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh
index de2481ce5..582c45ff7 100644
--- a/util/travis_compiled_push.sh
+++ b/util/travis_compiled_push.sh
@@ -7,7 +7,7 @@ rev=$(git rev-parse --short HEAD)
git config --global user.name "Travis CI"
git config --global user.email "jack.humb+travis.ci@gmail.com"
-if [[ "$TRAVIS_BRANCH" == "master" ]] ; then
+if [[ "$TRAVIS_BRANCH" == "master" ]] && [[ "$TRAVIS_PULL_REQUEST" == "false"]] ; then
increment_version ()
{