Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7

To: Steven Chamberlain <steven@pyro.eu.org>
Cc: Salvatore Bonaccorso <carnil@debian.org>, 673579@bugs.debian.org, "debian-bsd\@lists.debian.org" <debian-bsd@lists.debian.org>, debian-gcc@lists.debian.org, Cyril Brulebois <kibi@debian.org>
Subject: Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
From: Christoph Egger <christoph@debian.org>
Date: Sun, 20 May 2012 00:02:08 +0200
Message-id: <[🔎] 87fwav7rtr.fsf@hepworth.siccegge.de>
In-reply-to: <[🔎] 4FB814C5.5030609@pyro.eu.org> (sfid-20120519_234713_090958_56A97E8F) (Steven Chamberlain's message of "Sat, 19 May 2012 22:46:45 +0100")
References: <[🔎] 4FB80E54.1060102@pyro.eu.org> <20120519213622.GA8863@elende> <[🔎] 4FB814C5.5030609@pyro.eu.org>

Hi!

Steven Chamberlain <steven@pyro.eu.org> writes:
> #if defined(__linux__) || defined(__GNU__) || defined(__GLIBC__)

__GLIBC__ should cover all of them alone. Or alternatively consistently
checking for kernels:

#if defined(__linux__) || defined(__GNU__) || defined(__FreeBSD_kernel__)

Regards

    Christoph

-- 
9FED 5C6C E206 B70A 5857  70CA 9655 22B9 D49A E731
Debian Developer | Lisp Hacker | CaCert Assurer

Reply to:

Follow-Ups:
- Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
  - From: Steven Chamberlain <steven@pyro.eu.org>
- Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
  - From: Robert Millan <rmh@debian.org>

References:
- Bug#673579: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
  - From: Steven Chamberlain <steven@pyro.eu.org>
- Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
  - From: Steven Chamberlain <steven@pyro.eu.org>

Prev by Date: Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
Next by Date: Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
Previous by thread: Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
Next by thread: Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
Index(es):
- Date
- Thread