1 /* Check corner error case: specifying invalid PID. 2 #notarget: cris*-*-elf 3 */ 4 5 #include <sched.h> 6 #include <stdio.h> 7 #include <errno.h> 8 #include <stdlib.h> 9 main(void)10int main (void) 11 { 12 if (sched_getscheduler (99) != -1 13 || errno != ESRCH) 14 abort (); 15 printf ("pass\n"); 16 exit (0); 17 } 18