From: Ben Pfaff <blp@gnu.org>
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");