From 5d17ddf4bb8e8342178d8db27d844cbe6a9de0fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Tue, 14 May 2019 19:52:48 +0200
Subject: [PATCH] gitlab-ci: opam init --bare to make the build faster

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1afeb6bf3..feb1bfaa4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ before_script:
 
   # Show environment
   - echo "$PATH"
-  - printf '' | opam init
+  - printf '' | opam init --bare
   - eval $(opam config env)
 
   # Create switch