projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2f3ca35 6b06d5f)
Merge pull request #41 from mikey/travis
authorAnton Blanchard <anton@linux.ibm.com>
Wed, 11 Sep 2019 06:05:05 +0000 (16:05 +1000)
committerGitHub <noreply@github.com>
Wed, 11 Sep 2019 06:05:05 +0000 (16:05 +1000)
Allow a full make check on Travis


Trivial merge