diff -urN oldtree/kernel/Makefile newtree/kernel/Makefile --- oldtree/kernel/Makefile 2006-08-18 15:01:22.000000000 -0400 +++ newtree/kernel/Makefile 2006-08-18 15:35:06.000000000 -0400 @@ -2,7 +2,12 @@ # Makefile for the linux kernel. # -obj-y = sched.o fork.o exec_domain.o panic.o printk.o profile.o \ +# Build individual schedulers depending on which scheduler is chosen for NoSched +obj-$(CONFIG_INGOSCHED) = sched_ingosched.o +obj-$(CONFIG_STAIRCASE) = sched_staircase.o + +# Build these files along with the scheduler file, we won't build sched.c! +obj-y += fork.o exec_domain.o panic.o printk.o profile.o \ exit.o itimer.o time.o softirq.o resource.o \ sysctl.o capability.o ptrace.o timer.o user.o \ signal.o sys.o kmod.o workqueue.o pid.o \