Merge pull request #3860 from commodo/micropython-lib-workaround
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
commit9c176d0b353b0aa1ea14f2084daf72fed0ad127a
tree63071fa9c7d59ec230e147f4c7674ca78ef58986
parent9d8487851e01736b2d5ba9f13a05a8a0cf98284b
parenta5b9cc6a24581a68dcb3b6a053b71f8ae83ee530
Merge pull request #3860 from commodo/micropython-lib-workaround

micropython-lib: workaround the `install` build rule