From: Michael Neuling <mikey@neuling.org>
Date: Thu, 4 Jun 2020 22:38:18 +0000 (+1000)
Subject: Merge pull request #188 from ozbenh/openocd-tweaks
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=831ffceec7a7969ea0cfab615776ca3607f32c7c;p=microwatt.git

Merge pull request #188 from ozbenh/openocd-tweaks

Openocd tweaks
---

831ffceec7a7969ea0cfab615776ca3607f32c7c