diff options
| author | U-LANDSRAAD\drashna <drashna@live.com> | 2018-03-24 18:34:34 -0700 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2018-03-25 13:19:14 -0400 |
| commit | e72cad44fa5f695c63373da2cc6fd0e44c361ed8 (patch) | |
| tree | e27400a3616866f67aa6e023981e25ef8be38ffa | |
| parent | f67950df27c5903254c9fac1d6e929599f813d6d (diff) | |
Add Layouts to exclusion
| -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 eac7e27d5f..ae2a747448 100644 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh @@ -24,7 +24,7 @@ increment_version () { git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} -NEFM=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -Ev '^(keyboards/)' | grep -Ev '^(docs/)' | grep -Ev '^(users/)' | wc -l) +NEFM=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -Ev '^(keyboards/)' | grep -Ev '^(docs/)' | grep -Ev '^(users/)' | grep -Ev '^(layouts/)' | wc -l) if [[ $NEFM -gt 0 ]] ; then echo "Essential files modified." git fetch --tags |