Travis: fix bench fetch in case of PR (#968)
authorMarco Costalba <mcostalba@users.noreply.github.com>
Wed, 11 Jan 2017 07:44:06 +0000 (08:44 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Jan 2017 07:44:06 +0000 (08:44 +0100)
commit332b5013b551b5fbfe32f1a8ac447fc8fcb244b9
tree999f5cf4de69899ba6a354d102137f890b899ad0
parent34e47ca87d82a420043f2bc9a1960eb1fad5c4f4
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.
.travis.yml