From aaf1127093ca6948447d935fd9d758ce7d7d4e15 Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Thu, 27 Jun 2019 10:33:48 +0200
Subject: [PATCH] Shallow clone LLVM

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5de2986850..61264565f0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@ prepare-cache:llvm:
     - mkdir $INSTALL_DIR
     - mv z3-4.8.5-x64-debian-8.11/bin z3-4.8.5-x64-debian-8.11/include $INSTALL_DIR
     - export PATH=$INSTALL_DIR/bin:$PATH
-    - git clone -b release/8.x https://github.com/llvm/llvm-project.git
+    - git clone --depth=1 -b release/8.x https://github.com/llvm/llvm-project.git
     - cd llvm-project
     - mkdir build
     - cd build