From: Paul Mackerras <paulus@ozlabs.org>
Date: Fri, 5 Jun 2020 08:02:33 +0000 (+1000)
Subject: Merge pull request #182 from mikey/travis
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cff40237c79f95f354b48076fdc2f008c32304be;p=microwatt.git

Merge pull request #182 from mikey/travis

Travis and testing improvements
---

cff40237c79f95f354b48076fdc2f008c32304be