Merge pull request #3953 from rolfbjarne/offsets-tool-autoreclone
authorJoão Matos <joao@tritao.eu>
Thu, 17 Nov 2016 13:29:27 +0000 (13:29 +0000)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 13:29:27 +0000 (13:29 +0000)
commite273739f3dc4a2f2d7b1310d4c41941ebdc8e552
treefa6cfa6aa01eed5c5ed8d29ac3534bd24a873578
parentb34a3d6b7833f662c69bbc88a3e226096a1c8289
parent30acb7cab9cfda174dd9c7ecfd7c81f4fe7e37aa
Merge pull request #3953 from rolfbjarne/offsets-tool-autoreclone

[offsets-tool] Make sure to re-clone when the hash for the cpp binaries changes.