Always try to create output directory, even if pintos directory exists.

[pintos-anon] / grading / userprog / write-stdin.exp

(write-stdin) begin
(write-stdin) end
write-stdin: exit(0)
--OR--
(write-stdin) begin
write-stdin: exit(-1)