(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / grading / userprog / exit.c

#include <stdio.h>
#include <syscall.h>

int
main (void) 
{
  printf ("(exit) begin\n");
  exit (57);
  printf ("(exit) fail\n");
  return 0;
}