Re: [PATCH] grub-install: Define default platform for RISC-V

2019-09-19 Thread Alexander Graf
I guess that one must have slipped through the cracks :) Reviewed-by: Alexander Graf Alex On 19.09.19 12:06, Daniel Kiper wrote: Adding Alex... In general "Reviewed-by: Daniel Kiper " but I would to hear Alex's opinion here too... Daniel On Thu, Aug 15, 2019 at 04:55:13PM +0200, Andreas S

Re: [PATCH] grub-install: Define default platform for RISC-V

2019-09-19 Thread Daniel Kiper
Adding Alex... In general "Reviewed-by: Daniel Kiper " but I would to hear Alex's opinion here too... Daniel On Thu, Aug 15, 2019 at 04:55:13PM +0200, Andreas Schwab wrote: > Signed-off-by: Andreas Schwab > --- > util/grub-install.c | 8 > 1 file changed, 8 insertions(+) > > diff --gi

[PATCH] grub-install: Define default platform for RISC-V

2019-08-15 Thread Andreas Schwab
Signed-off-by: Andreas Schwab --- util/grub-install.c | 8 1 file changed, 8 insertions(+) diff --git a/util/grub-install.c b/util/grub-install.c index 8a55ad4b8..8970b73aa 100644 --- a/util/grub-install.c +++ b/util/grub-install.c @@ -324,6 +324,14 @@ get_default_platform (void) re