X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;h=8180ddd80c1d289ac3785f0b833e4ccf7b902b79;hp=7c60f22d7faf3a69a832cd2dd853e5667bb7e0f7;hb=e69ef9cf2879acc8bd4c4b53099af8f75e982ef9;hpb=19e7202b8a487769e2965b9b8f7148da39bf9504

diff --git a/build-pspp b/build-pspp
index 7c60f22d7f..8180ddd80c 100755
--- a/build-pspp
+++ b/build-pspp
@@ -97,7 +97,17 @@ EOF
     rename ("$fullname.new", $fullname)
       or die "rename $fullname.new to $fullname failed: $!\n";
 
-    
+    # Get Gnulib commit number.
+    my $gnulib_commit;
+    $fullname = "$builddir/pspp$buildnumber/README.Git";
+    open (README_GIT, '<', $fullname)
+      or die "opening $fullname failed: $!\n";
+    while (<README_GIT>) {
+	($gnulib_commit) = /^\s+commit ([0-9a-fA-F]{8,})/ and last;
+    }
+    die "$fullname does not specify a Git commit number\n"
+      if !defined ($gnulib_commit);
+    print "\tGNULIB_REVISION=$gnulib_commit\n";
 }
 
 sub usage {