Can you give more information on your environment and compiler? This checking was many months ago and we at NICTA have had no problems building all this time, so my initial assumption is that it must be something specific to your setup. Adrian On 13/07/15 13:23, XilongPei(裴喜龙) wrote:

Hi, This checkin cause a build error:

Drop static qualifier from tests so that C++ compilers will use extern C linkage instead of name mangling

https://github.com/seL4/libsel4test/commit/930744eaf43260ceb37ce2793eefbe77c d808ff0

the error information: .../libs/libsel4test/src/test.c:161: undefined reference to `__start__test_case' .../libs/libsel4test/src/test.c:161: undefined reference to `__stop__test_case'

Xilong Pei Tongji University 2015/7/13

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.