From 2284e8481e7eb3489ff25b5f5c896c7b95c383ee Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 26 Jan 2021 14:11:48 +0100
Subject: Bench: don't uselessly rely on initialized opam

AFAICT this init.sh call is useless.
---
 dev/bench/gitlab-bench.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/bench/gitlab-bench.yml b/dev/bench/gitlab-bench.yml
index 25545cf565..69136ee773 100644
--- a/dev/bench/gitlab-bench.yml
+++ b/dev/bench/gitlab-bench.yml
@@ -4,9 +4,7 @@ bench:
   when: manual
   before_script:
     - printenv -0 | sort -z | tr '\0' '\n'
-  script:
-    - . ~/.opam/opam-init/init.sh
-    - ./dev/bench/gitlab.sh
+  script: dev/bench/gitlab.sh
   tags:
     - timing
   variables:
-- 
cgit v1.2.3