Re: [seL4] camkes error.h include problem

...

...

...

...

"yogidk" == yogidk writes:

yogidk> and another file yogidk> test_2.c which includes "socket.h" yogidk> DeclareCAmkESComponent(test yogidk> INCLUDES "../muslibc/include/sys"* // necessary for yogidk> compilation as test_2.c has "socket.h"* This line means that "#include " picks up sys/errno.h instead of errno.h. Get rid of it. Instead, do '#include instead of '#include ' Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61, CSIRO (formerly NICTA)