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