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