tree dc303b17ef4375086eacd4124363cac4d4c032b6
parent 8cbf9e688034d48d5715e0ef3b8fc35c8334d804
author Matthew Fernandez <matthew.fernandez@nicta.com.au> 1448853111 +1100
committer Matthew Fernandez <matthew.fernandez@nicta.com.au> 1448853111 +1100

libsel4test: Allow compilation even with no defined test cases.

This commit now forces the creation of the special _test_case ELF section, even
if the application linking against libsel4test has not defined any tests. In
particular, this is in support of upcoming changes to make test case definition
and manipulation more explicit in sel4test-driver.