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

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



Hi Salvatore,

In src/ansi-c/c_preprocess.cpp, the #include <unistd.h> changed by
KiBi's patch is still wrapped in #ifdef __linux__.

I would think:

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

is the best way to cover Linux/kFreeBSD/Hurd.

Regards,
-- 
Steven Chamberlain
steven@pyro.eu.org


Reply to: