From: Marco Costalba <mcostalba@users.noreply.github.com>
Date: Wed, 11 Jan 2017 07:44:06 +0000 (+0100)
Subject: Travis: fix bench fetch in case of PR (#968)
X-Git-Url: https://git.sesse.net/?p=stockfish;a=commitdiff_plain;h=332b5013b551b5fbfe32f1a8ac447fc8fcb244b9;ds=sidebyside

Travis: fix bench fetch in case of PR (#968)

When Travis tests a PR, a commit merge is created
but master branch is not updated, although HEAD is.

No functional change.
---

diff --git a/.travis.yml b/.travis.yml
index 36cd2ebc..87a3e7dc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -48,7 +48,7 @@ script:
   # checking bench for various build types
   #
   # obtain reference from git log
-  - git log | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9][0-9]*\)/\1/g" > git_sig
+  - git log HEAD | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9][0-9]*\)/\1/g" > git_sig
   - export benchref=$(cat git_sig)
   - echo "Reference bench:" $benchref
   # verify against reference