Hi Joel,
On Thu, 10 Oct 2019 at 14:14, Joel Sherrill wrote:
>
> Please push this and fix the spike RSB error. :)
>
I can't reproduce the Spike error on my Ubuntu machine, it builds fine
for me. But anyway, I submitted a RSB patch to update Spike build in
RSB, can you check if the error persists
Please push this and fix the spike RSB error. :)
--joel
On Thu, Oct 10, 2019 at 7:57 AM Hesham Almatary <
hesham.almat...@cl.cam.ac.uk> wrote:
> ---
> MAINTAINERS | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 68137a80d9..f00f2753f2 100644
> ---
---
MAINTAINERS | 1 +
1 file changed, 1 insertion(+)
diff --git a/MAINTAINERS b/MAINTAINERS
index 68137a80d9..f00f2753f2 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -50,6 +50,7 @@ Daniel Hellstrom dan...@gaisler.com
Ben Gras b...@rtems.org
Pavel Pisa
