#
3d7586eb |
|
19-May-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
sel4test: remove autoconf.h from sel4test this commit removes autoconf.h generation from sel4test and append '#include <sel4test/gen_config.h>' after each '#include <autoconf.h>' since autoconf.h is only the for the kernel config now. This is a temporarily solution, since we currently don't have a way to tell which header files each file is trying to include when it includes 'autoconf.h'
|