Re: gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-20 Thread Eric Blake
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 According to Pádraig Brady on 11/20/2008 3:13 PM: > Fair point, but it was just a heads up as it's the only > instance of > 8 spaces (12) in the file. This has happened multiple times in the past, and emacs can auto-correct it. It does go against GNU

Re: gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-20 Thread Pádraig Brady
Bruno Haible wrote: > Pádraig Brady wrote: >>> 2008-11-18 Alexandre Duret-Lutz <[EMAIL PROTECTED]> >>> Bruno Haible <[EMAIL PROTECTED]> >> The above line needs a hard tab to pass `make syntax-check` >> in coreutils at least. > > I'm sorry, but the gnulib ChangeLog is not among the f

Re: gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-20 Thread Bruno Haible
Pádraig Brady wrote: > > 2008-11-18 Alexandre Duret-Lutz <[EMAIL PROTECTED]> > > Bruno Haible <[EMAIL PROTECTED]> > > The above line needs a hard tab to pass `make syntax-check` > in coreutils at least. I'm sorry, but the gnulib ChangeLog is not among the files that are meant to be

Re: gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-20 Thread Pádraig Brady
Bruno Haible wrote: > 2008-11-18 Alexandre Duret-Lutz <[EMAIL PROTECTED]> > Bruno Haible <[EMAIL PROTECTED]> The above line needs a hard tab to pass `make syntax-check` in coreutils at least. cheers, Pádraig.

Re: gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-18 Thread Bruno Haible
Hi Alexandre, Alexandre Duret-Lutz wrote: > This is actually the third time I send this mail. Apparently mails > comming from lrde.epita.fr do not reach gnu.org :-( You can research about such issues at (courtesy to Jim for the link). > We have started

gnulib/stdint.h not defining typedefs causes failures with Boost

2008-11-18 Thread Alexandre Duret-Lutz
Hi people, This is actually the third time I send this mail. Apparently mails comming from lrde.epita.fr do not reach gnu.org :-( I'm trying again from gmail. We have started using gnulib in a C++ project that uses Boost. One of our build host is now failing as follows: gnulib/stdint.h has "#