From bcde3d1726a1ffee3d39ef22e1d12d86c2842ece Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 24 Aug 2020 14:34:37 +0200
Subject: Perform a few tweaks to make the bench script work properly.

---
 dev/bench/gitlab.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dev/bench')

diff --git a/dev/bench/gitlab.sh b/dev/bench/gitlab.sh
index 5423f30aba..15f5c01ac6 100755
--- a/dev/bench/gitlab.sh
+++ b/dev/bench/gitlab.sh
@@ -40,17 +40,18 @@ check_variable "coq_pr_number"
 check_variable "coq_pr_comment_id"
 check_variable "new_ocaml_switch"
 check_variable "new_coq_repository"
-check_variable "new_coq_commit"
 check_variable "new_coq_opam_archive_git_uri"
 check_variable "new_coq_opam_archive_git_branch"
 check_variable "old_ocaml_switch"
 check_variable "old_coq_repository"
-old_coq_commit="609152467f4d717713b7ea700f5155fc9f341cd7"
 check_variable "old_coq_opam_archive_git_uri"
 check_variable "old_coq_opam_archive_git_branch"
 check_variable "num_of_iterations"
 check_variable "coq_opam_packages"
 
+new_coq_commit=$(git rev-parse HEAD^2)
+old_coq_commit=$(git merge-base HEAD^1 $new_coq_commit)
+
 if which jq > /dev/null; then
     :
 else
-- 
cgit v1.2.3