From 0b1172b7a58259213d49680f754de58da7131b65 Mon Sep 17 00:00:00 2001
From: Martin Nowak <code@dawg.eu>
Date: Fri, 10 Mar 2017 15:58:39 +0100
Subject: [PATCH] fix Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index aad543ddce..b6ae0190e5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ def clone (repo_url, git_ref = "master") {
 def pipeline
 node {
     dir('dlang/ci') {
-        cleanCheckout 'https://github.com/Dicebot/dlangci.git', 'master'
+        clone 'https://github.com/Dicebot/dlangci.git', 'master'
     }
     pipeline = load 'dlang/ci/pipeline.groovy'
 }