1 /* 2 #notarget: cris*-*-elf 3 */ 4 5 #include <sched.h> 6 #include <stdio.h> 7 #include <stdlib.h> 8 main(void)9 int main (void) 10 { 11 if (sched_getscheduler (getpid ()) != SCHED_OTHER) 12 abort (); 13 printf ("pass\n"); 14 exit (0); 15 } 16