From: Ben Pfaff Date: Wed, 17 Feb 2010 17:12:55 +0000 (-0800) Subject: working version that produced 20100217084144 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4795b899f8b77e516e48f11f5807ef801c8dcae7;p=pspp working version that produced 20100217084144 --- diff --git a/build-pspp b/build-pspp index 6c5a4b5eb9..d4ce1f8b16 100755 --- a/build-pspp +++ b/build-pspp @@ -49,7 +49,7 @@ my $varsfile = "$resultsdir/VARS"; open (VARS, '>', $varsfile) or die "creating $varsfile failed: $!\n"; VARS->autoflush (1); -my $logfile = "$resultsdir/LOG"; +our $logfile = "$resultsdir/LOG"; open (LOG, '>', $logfile) or die "creating $logfile failed: $!\n"; my $build_host = `hostname`; @@ -123,7 +123,6 @@ if (@ARGV == 2) { # Extract source. start_step ("Extract branch into source directory"); run ("git archive --format=tar --prefix=pspp$build_number/ refs/builds/$build_number/pspp | (cd $builddir && tar xf -)"); - run ("git branch -D buildtmp/$$/pspp"); # Extract version number. start_step ("Extract repository version number");