From 1980277eeb220c5ea63accc38d8b65ef4bd3a0a3 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 25 Mar 2010 20:54:35 -0700
Subject: [PATCH] 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.
---
 build-pspp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");
-- 
2.30.2