working version that produced 20100217084144

diff --git a/build-pspp b/build-pspp
index 6c5a4b5eb9782e94752234879ccd509f852dd374..d4ce1f8b16a61db796a347eaa84d27abf1b57a60 100755 (executable)
--- 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");