diff options
Diffstat (limited to 'util')
| -rw-r--r-- | util/travis_compiled_push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index eac7e27d5..ae2a74744 100644 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh | |||
| @@ -24,7 +24,7 @@ increment_version () { | |||
| 24 | 24 | ||
| 25 | git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | 25 | git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} |
| 26 | 26 | ||
| 27 | NEFM=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -Ev '^(keyboards/)' | grep -Ev '^(docs/)' | grep -Ev '^(users/)' | wc -l) | 27 | NEFM=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -Ev '^(keyboards/)' | grep -Ev '^(docs/)' | grep -Ev '^(users/)' | grep -Ev '^(layouts/)' | wc -l) |
| 28 | if [[ $NEFM -gt 0 ]] ; then | 28 | if [[ $NEFM -gt 0 ]] ; then |
| 29 | echo "Essential files modified." | 29 | echo "Essential files modified." |
| 30 | git fetch --tags | 30 | git fetch --tags |
