diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-02-07 20:51:50 -0500 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-02-07 20:51:50 -0500 |
| commit | ad1327cd003ac25f7ee1b6f404d01139e0f5be88 (patch) | |
| tree | bbe3df12a0f1b37d7a039428bd3337012fda4ec6 | |
| parent | f5c8c5d4c854c5ae4dc586066c9b03557786c4c2 (diff) | |
accept numbers in travis build
| -rw-r--r-- | util/travis_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/travis_build.sh b/util/travis_build.sh index 794b0d3a16..2d43f3e5e9 100644 --- a/util/travis_build.sh +++ b/util/travis_build.sh @@ -11,7 +11,7 @@ if [[ "$TRAVIS_COMMIT_MESSAGE" != *"[skip build]"* ]] ; then make all-keyboards AUTOGEN="true" : $((exit_code = $exit_code + $?)) else - MKB=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -oP '(?<=keyboards\/)([a-zA-Z_]+)' | sort -u) + MKB=$(git diff --name-only -n 1 ${TRAVIS_COMMIT_RANGE} | grep -oP '(?<=keyboards\/)([a-zA-Z0-9_]+)' | sort -u) for KB in $MKB ; do echo "Making all keymaps for $KB" make "$KB" AUTOGEN=true |