Re: [PATCH] rsb: Update RISC-V's Spike revision

On 09/11/2018 21:22, Hesham Almatary wrote: > --- > bare/config/devel/spike-1.1.0.cfg | 4 ++-- > source-builder/config/spike-1-1.cfg | 20 ++-- > 2 files changed, 12 insertions(+), 12 deletions(-) OK to push. Chris ___ devel mailing

[PATCH] rsb: Update RISC-V's Spike revision

--- bare/config/devel/spike-1.1.0.cfg | 4 ++-- source-builder/config/spike-1-1.cfg | 20 ++-- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/bare/config/devel/spike-1.1.0.cfg b/bare/config/devel/spike-1.1.0.cfg index 5b633fc..4e94189 100644 --- a/bare/config/