X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;h=6d13ccbf48ad0220e97e19799b9d9d314a914bc7;hp=d8e4a794cb59d755f1dde8d0e2f4670413585233;hb=ec687b924f4a605bc8c2bc441105f47757a7c6cf;hpb=90ef37bd9c3b35a462364e14a087ae507ff10834

diff --git a/build-pspp b/build-pspp
index d8e4a794cb..6d13ccbf48 100755
--- a/build-pspp
+++ b/build-pspp
@@ -252,6 +252,10 @@ EOF
     my $tarname = "pspp-$version.tar.gz";
     $tarball = save_result ("source distribution", "pspp$build_number/_build/$tarname", 1);
 
+    # Save distributed files in Git.
+    start_step ("Save distributed files in Git");
+    run ("GIT_DIR=$topdir/.git $topdir/git-import-tar $resultsdir/$tarname refs/builds/$build_number/dist", "git-dist");
+
     # Build user manual
     start_step ("Build user manual");
     run ("cd pspp$build_number && cp _build/doc/*.texi doc/");