Fix manager to run tests if KERNEL_TESTING is set
authorXiao Jia <stfairy@gmail.com>
Wed, 28 Oct 2015 00:36:40 +0000 (17:36 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Nov 2015 17:00:38 +0000 (12:00 -0500)
KERNEL_POSTBOOT_TESTING is not defined, and if USERSPACE_TESTING is
disabled, we won't run any unit tests, which is not right.

Fix it by letting the tests run whenever KERNEL_TESTING is present.

Signed-off-by: Xiao Jia <stfairy@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/manager.c

index cd3c5bf..e87cc0d 100644 (file)
@@ -42,7 +42,7 @@ void manager(void)
        #define MANAGER_FUNC(dev) PASTE(manager_,dev)
 
        #if !defined(DEVELOPER_NAME) && \
-           (defined(CONFIG_KERNEL_POSTBOOT_TESTING) || \
+           (defined(CONFIG_KERNEL_TESTING) || \
             defined(CONFIG_USERSPACE_TESTING))
                #define DEVELOPER_NAME jenkins
        #endif