X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;fp=build-pspp;h=ae723f7de4922f2ccd58695098b4f499af5cc8b9;hp=d45a9efba7990d224d093790f0e8e7d51ff8969a;hb=a6f5a05fa098aeb35cd184682c271244f05907e8;hpb=1980277eeb220c5ea63accc38d8b65ef4bd3a0a3 diff --git a/build-pspp b/build-pspp index d45a9efba7..ae723f7de4 100755 --- a/build-pspp +++ b/build-pspp @@ -66,6 +66,8 @@ chomp $build_host; set_var ("build_host", $build_host); set_var ("build_number", $build_number); +our $GIT = "git --git-dir=$topdir/.git"; + sub start_step { my ($msg) = @_; print LOG " \n$msg\n"; @@ -122,8 +124,6 @@ sub ref_to_commit { return $commit; } -my $GIT = "git --git-dir=$topdir/.git"; - if (@ARGV == 2) { my ($repo, $branch) = @ARGV; @@ -286,6 +286,11 @@ if ($build_binary) { set_var ("dist_ref", "refs/builds/$build_number/dist"); set_var ("dist_commit", ref_to_commit ("refs/builds/$build_number/dist")); + start_step ("Determining $tarball target directory"); + my $sample_filename = `zcat $tarball | tar tf - | head -1`; + my ($tarball_dir) = $sample_filename =~ m%^(?:[./])*([^/]+)/%; + set_var ("dist_dir", $tarball_dir); + start_step ("Extracting source tarball"); run ("zcat $tarball | (cd $builddir && tar xf -)");