From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 26 Mar 2010 03:54:35 +0000 (-0700)
Subject: build-pspp: Use ^0 to really verify commit number.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=1980277eeb220c5ea63accc38d8b65ef4bd3a0a3

build-pspp: Use ^0 to really verify commit number.

If we specify a full commit number to "git rev-parse" then it doesn't
check whether that commit really exists.
---

diff --git a/build-pspp b/build-pspp
index 2fff2c853e..d45a9efba7 100755
--- a/build-pspp
+++ b/build-pspp
@@ -235,7 +235,7 @@ EOF
       or die "rename $fullname.new to $fullname failed: $!\n";
 
     # If we don't already have that Gnulib commit, update Gnulib.
-    system ("$GIT rev-parse --verify --quiet $gnulib_commit > /dev/null");
+    system ("$GIT rev-parse --verify --quiet $gnulib_commit^0 > /dev/null");
     if ($? != 0) {
 	start_step ("Updating Gnulib to obtain commit");
 	run ("$GIT fetch gnulib");