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)
commitff1455dea6acac188ef5ce4504c8730b10541fe9
tree1c257296d489e5330ae941137e7df603e6a0cc39
parent2f3ca35a6ea1c293176758bfd7f1978617222c6e
parent6b06d5f67d8138694c50619270c6d7b620d40143
Merge pull request #41 from mikey/travis

Allow a full make check on Travis