Fix kbuild make detecting change in file
authorKevin Klues <klueska@cs.berkeley.edu>
Tue, 29 Apr 2014 20:35:06 +0000 (13:35 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 May 2014 23:23:30 +0000 (16:23 -0700)
commitea828f95c7e7113495c4bd148035e74bd6bec063
tree70d4a9a6ea9b9b97dd539067ad5febeb9a5dd60a
parent5277f93e9440ae3f7d9fb1d7424cb97b6b517613
Fix kbuild make detecting change in file

Unfortunately, Kconfig doesn't seem to recognize that the tests.c file
needs to be rebuilt unless we explicitly use our CONFIG_TEST_* variables
in the c file instead of generated by the underlying macro. Boo.
kern/include/test_infrastructure.h
kern/src/tests.c