From 83409262897395276178fddabee6b4d04dd51df0 Mon Sep 17 00:00:00 2001
From: Robert Jacob <xperimental@solidproject.de>
Date: Sat, 8 Jul 2017 16:48:35 +0200
Subject: [PATCH] Checkout build files.

---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5433e2f..73ce5f8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,8 @@
 node ("make") {
+    stage('checkout tools') {
+        checkout scm
+    }
+
     stage('checkout') {
         checkout([
             $class: 'GitSCM',