From 9c6a7a85c6e3ecf2e01475e4bd47347e5b3039c2 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 31 Dec 2004 07:04:34 +0000 Subject: [PATCH] Always try to create output directory, even if pintos directory exists. --- grading/lib/Pintos/Grading.pm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm index aca287d..3ebeb22 100644 --- a/grading/lib/Pintos/Grading.pm +++ b/grading/lib/Pintos/Grading.pm @@ -87,11 +87,12 @@ EOF # applies any patches providing in the grading directory, # and installs a default pintos/src/constants.h sub extract_sources { - # Nothing to do if we already have a source tree. - return if -d "pintos"; - + # Make sure the output dir exists. -d ("output") || mkdir ("output") or die "output: mkdir: $!\n"; + # Nothing else to do if we already have a source tree. + return if -d "pintos"; + my ($tarball) = choose_tarball (); # Extract sources. -- 2.30.2