X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;h=d4ce1f8b16a61db796a347eaa84d27abf1b57a60;hp=6c5a4b5eb9782e94752234879ccd509f852dd374;hb=4795b899f8b77e516e48f11f5807ef801c8dcae7;hpb=0a04c891c69cc5851b657208c958c68d1336b977

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");