From: Anton Blanchard <anton@linux.ibm.com>
Date: Tue, 21 Jan 2020 02:20:23 +0000 (+1100)
Subject: Merge pull request #143 from antonblanchard/use-docker
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d1166e9c2644fe498ac1e698bf4ede5357c8976e;p=microwatt.git

Merge pull request #143 from antonblanchard/use-docker

Add an option to use Docker
---

d1166e9c2644fe498ac1e698bf4ede5357c8976e