X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=build-pspp;h=d45a9efba7990d224d093790f0e8e7d51ff8969a;hp=2fff2c853ec2cb693b7fb53c93e1edc5df056a83;hb=1980277eeb220c5ea63accc38d8b65ef4bd3a0a3;hpb=9869b64641f5197bd495a5e62cdbb3f985adbeee

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