[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: grub make error
From: |
Chen, Farrah |
Subject: |
RE: grub make error |
Date: |
Mon, 18 Mar 2019 14:49:04 +0000 |
Yes, I am using git://git.savannah.gnu.org/grub.
I attached all the log, can you help to check? It's strange, before this
commit, I never met such error.
Do I need to update or install any other tools?
And my OS is " Red Hat Enterprise Linux Server release 7.6 (Maipo)", actually,
I tried it on two different machines with Red Hat, all failed.
Thanks a lot!
Thanks,
Fan
-----Original Message-----
From: Daniel Kiper [mailto:address@hidden
Sent: Monday, March 18, 2019 8:35 PM
To: Colin Watson <address@hidden>
Cc: Chen, Farrah <address@hidden>; address@hidden; Hao, Xudong <address@hidden>
Subject: Re: grub make error
On Mon, Mar 18, 2019 at 09:29:13AM +0000, Colin Watson wrote:
> On Mon, Mar 18, 2019 at 01:45:23AM +0000, Chen, Farrah wrote:
> > Then the following error occurred:
> >
> > ......
> >
> > In file included from
> > ../grub-core/lib/gnulib/libc-config.h:150:0,
> >
> > from lib/gnulib/regex.c:21:
> >
> > lib/gnulib/regexec.c: In function ‘re_search_2_stub’:
> >
> > ../grub-core/lib/gnulib/intprops.h:398:37: error: ‘SCHAR_MIN’ undeclared
> > (first use in this function)
> >
> > signed char, SCHAR_MIN, SCHAR_MAX) \
> >
> > ^
>
> I'm prepared to believe that something has gone wrong here, but I
> can't reproduce it myself. Could you please give some details of your
> build environment, and attach config.log?
I am not able to reproduce it too. Could you try this on clean repository taken
directly from git://git.savannah.gnu.org/grub.git?
Daniel
config.log
Description: config.log
bootstrap.log
Description: bootstrap.log
build_srpm.log
Description: build_srpm.log
- grub make error, Chen, Farrah, 2019/03/17
- Re: grub make error, Colin Watson, 2019/03/18
- Re: grub make error, Daniel Kiper, 2019/03/18
- RE: grub make error,
Chen, Farrah <=
- RE: grub make error, Chen, Farrah, 2019/03/18
- Re: grub make error, Daniel Kiper, 2019/03/18
- RE: grub make error, Chen, Farrah, 2019/03/18
- Re: grub make error, Daniel Kiper, 2019/03/19
- Re: grub make error, Colin Watson, 2019/03/19
- Re: grub make error, Daniel Kiper, 2019/03/19
- RE: grub make error, Chen, Farrah, 2019/03/19
- Re: grub make error, Daniel Kiper, 2019/03/20