From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 31 Dec 2004 07:04:34 +0000 (+0000)
Subject: Always try to create output directory, even if pintos directory exists.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d3c07d8b0aad51ade536e35f63267f5826524c5;hp=5d3c07d8b0aad51ade536e35f63267f5826524c5;p=pintos-anon

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