From: Anton Blanchard Date: Wed, 11 Sep 2019 06:05:05 +0000 (+1000) Subject: Merge pull request #41 from mikey/travis X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff1455dea6acac188ef5ce4504c8730b10541fe9;p=microwatt.git Merge pull request #41 from mikey/travis Allow a full make check on Travis --- ff1455dea6acac188ef5ce4504c8730b10541fe9