[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



2012/5/20 Christoph Egger <christoph@debian.org>:
> __GLIBC__ should cover all of them alone. Or alternatively consistently
> checking for kernels:
>
> #if defined(__linux__) || defined(__GNU__) || defined(__FreeBSD_kernel__)

Please keep in mind __FreeBSD_kernel__ doesn't imply anything about
userland.  In fact this macro is defined in recent versions of
FreeBSD.

-- 
Robert Millan


Reply to: