Fix fingerprints for merge commits.

fingerprint.py executes `git log HEAD^.. --pretty=oneline` to get the hash of
the HEAD commit for each git repo, but didn't properly handle the case where the
HEAD commit is a merge. In that case, more than one hash will be output. Now
fingerprint.py executes `git log -1 --pretty=oneline` instead.

diff --git a/utils/fingerprint/fingerprint.py b/utils/fingerprint/fingerprint.py
index 5a75327..b0e599d 100755 (executable)
--- a/utils/fingerprint/fingerprint.py
+++ b/utils/fingerprint/fingerprint.py
@@ -55,7 +55,7 @@ def fingerprint(source=None):
   `sync-all` command will be run to get the current fingerprint.
   """
   if source is None:
-    sync_all = ["./sync-all", "log", "HEAD^..", "--pretty=oneline"]
+    sync_all = ["./sync-all", "log", "-1", "--pretty=oneline"]
     source  = Popen(sync_all, stdout=PIPE).stdout
 
   lib = ""