cbmc: FTBFS: GCC-4.7
tags 673579 + pending
(I added Michael Taautschnig directly to the loop)
On Sat, May 19, 2012 at 11:25:41PM +0100, Steven Chamberlain wrote:
> tags 673579 + patch
> On 19/05/12 23:02, Christoph Egger wrote:
> > Steven Chamberlain <email@example.com> writes:
> >> #if defined(__linux__) || defined(__GNU__) || defined(__GLIBC__)
> > __GLIBC__ should cover all of them alone. Or alternatively consistently
> > checking for kernels [...]
> Oh I see, thanks. I think it is the userland we are interested in here
> so __GLIBC__ sounds right.
> Please find a patch attached (to apply after KiBi's) which I have tested
> on kfreebsd-i386.
> I've no idea if __GLIBC__ exists on __APPLE__ or other non-Debian
> platforms but I guess we don't need to worry about them, so I've left
> that alone.
Steven, many thanks for pointing to this.
Michael, I did the NMU some days ago, trying to help on some RC bugs
for wheezy. I will upload the package with the fix again, with
Please let me know if I should cancel, and if you would like to do the
Regards, and sorry for the noise