diff options
author | Felix Uhl <iFreilicht@users.noreply.github.com> | 2016-08-18 12:02:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-18 12:02:31 +0200 |
commit | ed6ecff292eae378eb89bf6a7b5b8dd4229b84b7 (patch) | |
tree | b2290e1a983134e0d7fc2f328eb949c37d99961c /util | |
parent | 73f13c8f26f7f3777cec9d3036628a7dd6021ee9 (diff) | |
parent | 8144ce8852f690d5772d80ed2b96ae4af201e266 (diff) |
Merge pull request #1 from jackhumbert/master
Merging from base Repo
Diffstat (limited to 'util')
-rw-r--r-- | util/travis_compiled_push.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/travis_compiled_push.sh b/util/travis_compiled_push.sh index 27ab3cec66..c2a994ef02 100644 --- a/util/travis_compiled_push.sh +++ b/util/travis_compiled_push.sh @@ -7,6 +7,8 @@ rev=$(git rev-parse --short HEAD) git config --global user.name "Travis CI" git config --global user.email "jack.humb+travis.ci@gmail.com" +make all-keymaps keyboard=ergodox/ez AUTOGEN=true + find . -name ".build" | xargs rm -rf cd .. git clone https://$GH_TOKEN@github.com/jackhumbert/qmk.fm.git |