Always try to create output directory, even if pintos directory exists.
[pintos-anon] / grading / lib / arc4.c
2004-12-07 Ben PfaffGrading library files.