pintos-os.org Git - pintos-anon/blob - grading/userprog/close-stdin.exp

   1 (close-stdin) begin
   2 (close-stdin) end
   3 close-stdin: exit(0)