sched: Catch the lack of a scheduler type
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 11 Apr 2018 19:44:11 +0000 (15:44 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 30 Apr 2018 18:38:29 +0000 (14:38 -0400)
If this happens, it might be a Makefile bug or a buggy .config file.
The #error is a little easier to diagnose.  I got this when I screwed up
the Makefile and turned a CFLAGS -> FLAGS for the CONFIG_ vars.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/corerequest.h

index c637f90..cce3265 100644 (file)
@@ -13,6 +13,8 @@
   #include <corealloc_fcfs.h>
 #elif defined(CONFIG_COREALLOC_PACKED)
   #include <corealloc_packed.h>
+#else
+  #error "Need a corealloc header!"
 #endif
 
 /* Initialize any data assocaited with doing core allocation. */